Stoyan, H. (1984). Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-08525-7
Chicago-Zitierstil (17. Ausg.)Stoyan, Herbert. Maschinen-unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation. Berlin, Heidelberg: Springer Berlin Heidelberg, 1984. https://doi.org/10.1007/978-3-662-08525-7.
MLA-Zitierstil (9. Ausg.)Stoyan, Herbert. Maschinen-unabhängige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation. Springer Berlin Heidelberg, 1984. https://doi.org/10.1007/978-3-662-08525-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.