-I. Privara/P. Ruzicka (Eds.); Mathematical Foundations of Computer Science 1997. Proceedings, Springer-Verlag 1997