APA-referens (7:e uppl.)

Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.

Chicago-referens (17:e uppl.)

Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.

MLA-referens (9:e uppl.)

Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.