Practical formal methods with VDM - Andrews, D. (Derek); Ince, Darrel (Berkshire, England McGraw-Hill, 1991)
Keywords: Computer software -- Development