APA (7th ed.) Citation

Hoare, C. (1972). Proof of Correctness of Data Representations.

Chicago Style (17th ed.) Citation

Hoare, C. Proof of Correctness of Data Representations. 1972.

MLA (9th ed.) Citation

Hoare, C. Proof of Correctness of Data Representations. 1972.

Warning: These citations may not always be 100% accurate.