Systematic software development using VDM - Jones, Cliff B., 1944- (Prentice Hall international series in computer science, 1990)