Struktur- und funktionsäquivalente Aufwärtsübersetzung von Maschinenprogrammen auf der Basis ihrer semantischen Analyse. - Gerald Traenkner (1990)