Systematic software development using VDM - Jones, Cliff B. (Series in computer science, 1986)