Björner, D. (ed) & Hoare, C.A.R. (ed) & Langmaack, H. (ed)Vienna Development Method , 1990
VDM '90. VDM and A-formal methods in software development. Third international sysmposium of VDM Europe, Kiel, FRG, april 17-21, 1990. Proceedings. - Springer Verlag, 1990. - (Lecture Notes in Computer Science; 428).