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