A formal Description of the translation of program trees into intermediate languages. - Ripken, Knut (TU, 1974)