Mertke, T. (2004). Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache. Shaker.
Chicago-Zitierstil (17. Ausg.)Mertke, Thomas. Formale Spezifikation Reaktiver Systeme Mit Einer Sicherheitsfachsprache. Aachen: Shaker, 2004.
MLA-Zitierstil (9. Ausg.)Mertke, Thomas. Formale Spezifikation Reaktiver Systeme Mit Einer Sicherheitsfachsprache. Shaker, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.