Kock, G. (1992). Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme. Oldenbourg.
Chicago-Zitierstil (17. Ausg.)Kock, Gerd. Spezifikation Und Verifikation Von Optimierungsalgorithmen Für Imperative Programme. München [u.a.]: Oldenbourg, 1992.
MLA-Zitierstil (9. Ausg.)Kock, Gerd. Spezifikation Und Verifikation Von Optimierungsalgorithmen Für Imperative Programme. Oldenbourg, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.