Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav, “Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B ”, IJAST, vol. 29, no. 05, pp. 11172-11181, Jun. 2020.