Alireza Souri. “Formal Specification and Verification of a Data Replication Approach in Distributed Systems”. International Journal of Next-Generation Computing, vol. 7, no. 1, Mar. 2016, pp. 18-37, doi:10.47164/ijngc.v7i1.102.