A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations[J] IEEE ACCESS 2021(9) Dwivedi, Vimal Norta, Alex Wulf, Alexander Leiding, Benjamin Saxena, Sandeep Udokwu, Chibuzor
