-D. Bjorner/M. Broy/I.V. Pottoson (Eds.): Formal Methods in Programming and Their Applications, Springer-Verlag Proceedings 1993