(2001). Integration formaler Spezifikation und Sicherheitsanalyse. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Integration Formaler Spezifikation Und Sicherheitsanalyse. Augsburg: Inst. für Informatik, 2001.
MLA-Zitierstil (9. Ausg.)Integration Formaler Spezifikation Und Sicherheitsanalyse. Inst. für Informatik, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.