Vimal Kumar Dwivedi, Alex Norta, Alexander Wulf, Benjamin Leiding, Sandeep Saxena, Chibuzor Udokwu. A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations. IEEE Access, 9:76069-76082, 2021. [doi]
Abstract is missing.