Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation 1984 · GERMAN · PDF View details →