-M. Broy/S. Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer-Verlag 1995