-J. Gruska (Ed.): Mathematical Foundations of Computer Science. Proceedings 1977, Springer-Verlag 1977