Leßke, F. (1995). Abstrakte Datentypen und temporale Logik: Ein kombinierter Spezifikationsansatz (Als Ms. gedr.). Shaker.
Chicago-Zitierstil (17. Ausg.)Leßke, Frank. Abstrakte Datentypen Und Temporale Logik: Ein Kombinierter Spezifikationsansatz. Als Ms. gedr. Aachen: Shaker, 1995.
MLA-Zitierstil (9. Ausg.)Leßke, Frank. Abstrakte Datentypen Und Temporale Logik: Ein Kombinierter Spezifikationsansatz. Als Ms. gedr. Shaker, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.