-I. Privara/B. Rovan/P. Ruzicka (Eds.): Mathematical Foundations of Computer Science 1994. Proceedings 1994, Springer-Verlag 1994