for the form of the article on the IFIP 80 Congress to be printed in the collection "Applied Computer Science".