Stoyan, H. (1983). Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation.
Chicago-Zitierstil (17. Ausg.)Stoyan, Herbert. Maschinen-unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation. Erlangen, 1983.
MLA-Zitierstil (9. Ausg.)Stoyan, Herbert. Maschinen-unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation. 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.