Rieger, S. (2009). Verification of pointer programs (1. Aufl.). Dr. Hut.
Chicago-Zitierstil (17. Ausg.)Rieger, Stefan. Verification of Pointer Programs. 1. Aufl. München: Dr. Hut, 2009.
MLA-Zitierstil (9. Ausg.)Rieger, Stefan. Verification of Pointer Programs. 1. Aufl. Dr. Hut, 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.