-B. Rovan (Ed.): Mathematical Foundations of Computer Science 1990, Proceedings 1990, Springer-Verlag 1990