Systematic software development using VDM - Jones, Cliff B. (Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc.., 1986)