Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice.
Chicago-Zitierstil (17. Ausg.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
MLA-Zitierstil (9. Ausg.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.