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