Reinhard Voeller, Entwicklung einer maschinenunabhaengigen Zwischensprache und zugehoeriger Uebersetzeroberteile fuer ein Mehrsprachenuebersetzersystem mit Hilfe von VDM. Technical Report, University of Kiel, Dept. of Computer Science, 3/83 (December 1983).

(1983)

Languages mentioned