VDM '90 : VDM and Z - formal methods in software development - Bjorner, D. [ (Dines)] , 1937-; Hoare, C. A. R. [ (Charles Antony Richard)] , 1934-; Langmaack, Hans (Lecture notes in computer science / edited by G. Goos and J. Hartmanis, 1990)