Jifeng, H., & Hoare, C. (1987). Algebraic Specification and Proof of a Distributed Recovery Algorithm.
Čikaški stil citiranja (17. izdanje)Jifeng, H., i C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
MLA način citiranja (9. izdanje)Jifeng, H., i C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.