Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice.
Lua i Stíl Chicago (17ú heag.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
Lua MLA (9ú heag.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. 2002.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.