1. Mohr,J.P.: Erstellung eines Benutzerhandbuches zur Programmierung mit abstrakten Datentypen unter Verwendung einer Quellcode-Bibliothek mit verschiedenen Implementierungen am Beispiel von VDM, Diplomarbeit, Fachhochschule Wedel, 1991
2. Mohr,J.P.: Programmierung mit abstrakten Datentypen unter Verwendung von VDM, Handbuch, Fachhochschule Wedel, 1991
3. Schmidt, U.,Hörcher, H.-M.: Systematische Programmentwicklung aus VDM-Spezifikationen mit automatischer Erzeugung von abstrakten Datentypen, in: GI Softwaretechnik-Trends, Mitteilungen der Fachgruppe 'software-Engineering', Band 9, Heft 3, 1989
4. Schmidt, U.,Hörcher, H.-M.: Programming with VDM Domains, Bjørner,D. et al. (eds.): VDM'90 VDM and Z, LNCS 428, Springer, 1990
5. Weber-Wulff,D.: A Buffering System Implemented in VDM, to appear in Bjørner,D. et al. (eds.): VDM'90 VDM and Z, LNCS 428, Springer, 1990