This page provides links to other important books about VDM. In many cases, the full text is available for free download:
Cliff Jones, Systematic Software Development using VDM, Prentice Hall 1990, now available free of charge: Download HERE
(This is one of the seminal texts on the Vienna Development Method. It presents the fundamentals of specification, refinement and proof in the VDM framework. It predates the standardisation and tools development efforts.)
C. B. Jones, K. D. Jones, P. A. Lindsay and R. Moore, `mural': A Formal Development Support System. Springer-Verlag in 1991. ISBN: 3-540-19651-X, now available free of charge: Download HERE
(This describes one of the first attempts to provide machine-support for formal reasoning over VDM models. The text contains a full specification of a proof assistant and points to the later work defining a more complete proof theory for the language.)
J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, B. Ritchie, Proof in VDM: A Practitioner's Guide, Springer Verlag, 1994, now available free of charge: Download HERE. (Thanks to John Hughes for scanning the book)