Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1. /wiki/Cliff_Jones_(computer_scientist)
Jones, Cliff B.; Lucas, Peter (1971). Engeler, E. (ed.). "Proving correctness of implementation techniques". A Symposium on Algorithmic Languages. Lecture Notes in Mathematics. Vol. 188. Springer-Verlag. pp. 178–211. /wiki/Peter_Lucas_(computer_scientist)
Jones, Cliff B. (1990). Systematic software development using VDM. Prentice-Hall. p. 1. /wiki/Cliff_Jones_(computer_scientist)