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