Alireza Souri. (2016). Formal Specification and Verification of a Data Replication Approach in Distributed Systems. International Journal of Next-Generation Computing, 7(1), 18–37. https://doi.org/10.47164/ijngc.v7i1.102