Alireza Souri. “Formal Specification and Verification of a Data Replication Approach in Distributed Systems”. International Journal of Next-Generation Computing 7, no. 1 (March 1, 2016): 18–37. Accessed May 4, 2024. http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/102.