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