-J. Gruska/M. Chytil (Eds.): Mathematical Foundations of Computer Science 1981, Proceedings 1981, Springer-Verlag 1981