-C. Freksa/M. Jantzen/R. Valk (Eds.): Foundations of Computer Science. Proceedings, Springer-Verlag 1997