-J. Gruska/B. Rovan/J. Wiedermann (Eds.): Mathematical Foundations of Computer Science 1986. Proceedings, Springer-Verlag 1986