-W. Penczek/A. Szalas (Eds.): Mathematical Foundations of Computer Science 1996, Springer-Verlag Proceedings 1996