Jifeng, H., & Hoare, C. (1987). Algebraic Specification and Proof of a Distributed Recovery Algorithm.
芝加哥风格引文Jifeng, H., 与 C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
MLA引文Jifeng, H., 与 C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
警告：这些引文格式不一定是100％准确.