Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation - Stoyan, Herbert 1943- (Zugl.: Erlangen-Nürnberg, Univ., Habil.-Schr., 1983, 1983)