-B. Möller/H. Partsch/S. Schuman (Eds.): Formal Program Development, Springer-Verlag Proceedings 1993