1. S. Agerholm, “Translating Specifications in VDM-SL to PVS,” in J.v. Wright, J. Grundy and J. Harrison (Eds.), Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOL’96), Springer-Verlag, 1996.
2. A. Andrews and D. Ince, Practical Formal Methods Using VDM, McGraw-Hill Book Company Europe, England, 1991.
3. J.C. Bicarregui etal., Proof in VDM: A Practitioner’s Guide, Springer-Verlag, London, 1994.
4. J. Bicarregui and B. Ritchie, “Reasoning about VDM Developments using the VDM Tool Support in mural,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 371–388.
5. J. Bicarregui and B. Mathews, “Formal Methods in Practice: A Comparison of Two Support Systems for Proof,” in Bartosek et al. (Eds.), SOFSEM’95: Theory and Practice of Informatics; published as Lecture Notes in Computer Science, Vol. 1012, Springer-Verlag, 1995.