Systematic software development using VDM - Jones, Cliff B. (Prentice/Hall International, 1986)