Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. - Uwe Schmidt 002; Reinhard Völler (GI Jahrestagung, 1981)

Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method. - Uwe Schmidt 002; Reinhard Völler (PASCAL, 1982)

Entwicklung einer maschinenunabhängigen Zwischensprache und zugehöriger Übersetzeroberteile für ein Mehrsprachübersetzersystem mit Hilfe von VDM. - Reinhard Völler (1983)

A multi-language compiler system with automatically generated codegenerators. - Uwe Schmidt 002; Reinhard Völler (SIGPLAN Symposium on Compiler Construction, 1984)

Experience with VDM in Norsk Data. - Uwe Schmidt 002; Reinhard Völler (VDM Europe, 1987)

Erfahrungen mit VDM bei der Übersetzungskonstruktion / Experiences with VDM in Compiler Construction. - Uwe Schmidt 002; Reinhard Völler (it Inf. Technol., 1987)