Systematic software development using VDM - Jones, C. B. (Prentice-Hall International series in computer science, 1986)