“Proof in VDM: A Practitioners Guide” Juan C. Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard Moore and Brian Ritchie, Springer-Verlag, 1994, ISBN:0-387-19813-X.
Juan C. Bicarregui (ed.) Proof in VDM: Case Studies, Springer-Verlag, 1998. This edited collection supports the “Proof in VDM” with case studies showing the application of rigorous proof in a range of applications and addressing the first steps towards automated proof support for VDM. The text is available as PDF files: