1. SQL Server Replication (2018). https://msdn.microsoft.com/en-us/library/ms151198.aspx. Accessed 20 Nov 2020
2. Replication Overview (2010). https://docs.oracle.com/cd/A87860_01/doc/server.817/a76959/repover.htm. Accessed 20 Nov 2020
3. Suryavanshi, R., Yadav, D.: Modeling of multiversion concurrency control system using Event-B. In: 2012 Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 1397–1401. IEEE (2012)
4. Lecture Notes in Computer Science;D Yadav,2006
5. Sharma, P., Suryavanshi, R.S.: Formal verification of distributed transaction execution in replicated database system using Event-B. Int. J. Comput. Appl. 143(6) (2016)