Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation - Stoyan, Herbert 1943- (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), 1983)