Roscoe, A., & Hoare, C. (1984). Programs as executable predicates.
Čikaški stil citiranja (17. izdanje)Roscoe, A., i C. Hoare. Programs as Executable Predicates. 1984.
MLA način citiranja (9. izdanje)Roscoe, A., i C. Hoare. Programs as Executable Predicates. 1984.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.