Bär, H. (2005). Statische Verifikation von Softwareprotokollen. Monsenstein u. Vannerdat.
Chicago-Zitierstil (17. Ausg.)Bär, Holger. Statische Verifikation Von Softwareprotokollen. Münster: Monsenstein u. Vannerdat, 2005.
MLA-Zitierstil (9. Ausg.)Bär, Holger. Statische Verifikation Von Softwareprotokollen. Monsenstein u. Vannerdat, 2005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.