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