APA-referens (7:e uppl.)

Hoare, C., & He, J. (1986). The Weakest Prespecification II.

Chicago-referens (17:e uppl.)

Hoare, C., och J. He. The Weakest Prespecification II. 1986.

MLA-referens (9:e uppl.)

Hoare, C., och J. He. The Weakest Prespecification II. 1986.

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