Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation - Stoyan, Herbert 1943- (1983)