Proceedings on VDM'90 VDM and Z-Formal methods in software development - Bjorne D Ed.; International symposium on VDM'90 VDM and Z-Formal methods in software developement (3 : 1990 : Kiel); Hoare A R Ed. (Berlin Springer-Verlag, 1990)
Keywords: Computer programming