VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / - Bjørner, D.; Hoare, C. A. R.; Langmaack, Hans. (Springer-Verlag, 1990)