Hoare, C. (1972). An Axiomatic Definition of the Programming Language PASCAL.
Čikaški stil citiranja (17. izdanje)Hoare, C. An Axiomatic Definition of the Programming Language PASCAL. 1972.
MLA način citiranja (9. izdanje)Hoare, C. An Axiomatic Definition of the Programming Language PASCAL. 1972.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.