Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation1984

by Herbert Stoyan