Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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