Jifeng, H., & Hoare, C. (1987). Algebraic Specification and Proof of a Distributed Recovery Algorithm.
Cita Chicago (17th ed.)Jifeng, H., i C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
Cita MLA (9th ed.)Jifeng, H., i C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
Atenció: Aquestes cites poden no estar 100% correctes.