1. Beierle, Ch., Olthoff, W., and Voss, A., Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung, Informatik Spektrum, 11(6), pp. 292–302, 1988
2. Bjørner, D., and Jones, C., et al, VDM'87: VDM — A Formal Method at Work, Proceedings of the Symposium in Brussels, Belgium, March 1989, Lecture Notes in Computer Science 252, Springer Verlag, 1987
3. Bjørner, D., The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61, Springer Verlag, 1978
4. Bjørner, D., and Jones, C., Formal Specification and Software Development, Prentice Hall International Series in Computer Science, 1982
5. Bloomfield, R., Marshall, L., and Jones, R., VDM'88: VDM — The Way Ahead, Proceedings of the 2nd VDM-Europe Symposium in Dublin, Ireland, September 1988, Lecture Notes in Computer Science 328, Springer Verlag, 1988