Klaeren, H. A. (1982). Einführung in die abstrakte Software-Spezifikation: Ausarb. e. Vorlesung vom WS 1981/82, RWTH Aachen. RWTH.
Chicago-Zitierstil (17. Ausg.)Klaeren, Herbert A. Einführung in Die Abstrakte Software-Spezifikation: Ausarb. E. Vorlesung Vom WS 1981/82, RWTH Aachen. Aachen: RWTH, 1982.
MLA-Zitierstil (9. Ausg.)Klaeren, Herbert A. Einführung in Die Abstrakte Software-Spezifikation: Ausarb. E. Vorlesung Vom WS 1981/82, RWTH Aachen. RWTH, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.