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 (Jun. 2020), 11172-11181.