MASCHINEN-UNABHÄNGIGE CODE-ERZEUGUNG ALS SEMANTIKERHALTENDE BEWEISBARE PROGRAMMTRANSFORMATION - Stoyan, Herbert (INFORMATIK-Fachberichte, 1984)