1. D.R. Barstow, "Knowledge-Based Program Construction," Elsevier, North-Holland, 1979.
2. D. Bjørner, "Software Engineering Aspects of VDM," Proceedings of the International Seminar on Software Engineering, Capri, North-Holland, 1983.
3. C. Chedgey et al., "Developing Ada Software Using VDM in an Object-Oriented Framework", Proceedings EUUG Autumn '87 Conference, Trinity College, Dublin, September 1987.
4. C. Chedgey et al., "Using VDM in an Object-Oriented Development Method for Ada Software," Proceedings VDM-Europe Symposium, Brussels, Lecture Notes in Computer Science, Vol. 252, Springer-Verlag, 1987.
5. C. Bjernaa and I. Hansen, "DDC META-IV Tool-Set User's Guide", Dansk Datamatik Center, No. DDC 164/RPT/31, December 1986.