Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav. “Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B ”. International Journal of Advanced Science and Technology, Vol. 29, no. 05, June 2020, pp. 11172-81, http://sersc.org/journals/index.php/IJAST/article/view/25208.