Alireza Souri. Formal Specification and Verification of a Data Replication Approach in Distributed Systems. ijngc 2016, 7, 18-37.