%0 Book
%A  edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
%T VDM '90 VDM and Z -- Formal Methods in Software Development : 
%U /book/90113520/VDM-90-VDM-and-Z-Formal-Methods-in-Software-De/