Petzsch, H. (1987). Implementierung algebraischer Spezifikationen in Prolog zur Unterstützung interaktiver Induktionsbeweise. Rhein.-Westfäl. Techn. Hochsch.
Chicago-Zitierstil (17. Ausg.)Petzsch, Heiko. Implementierung Algebraischer Spezifikationen in Prolog Zur Unterstützung Interaktiver Induktionsbeweise. Aachen: Rhein.-Westfäl. Techn. Hochsch, 1987.
MLA-Zitierstil (9. Ausg.)Petzsch, Heiko. Implementierung Algebraischer Spezifikationen in Prolog Zur Unterstützung Interaktiver Induktionsbeweise. Rhein.-Westfäl. Techn. Hochsch, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.