Spies, K. (1996). Transformationsbasierte temporallogische Programmierung. Kovač.
Chicago-Zitierstil (17. Ausg.)Spies, Klaus. Transformationsbasierte Temporallogische Programmierung. Hamburg: Kovač, 1996.
MLA-Zitierstil (9. Ausg.)Spies, Klaus. Transformationsbasierte Temporallogische Programmierung. Kovač, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.