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