• A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85107051357&origin=inward&txGid=f2bca9848ff56958dfa0cb2e771b7f53 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000673595600001
• Legally enforceable smart-contract languages : a systematic literature reviewDwivedi, Vimal Kumar; Pattanaik, Vishwajeet; Deval, Vipin; Dixit, Abhishek; Norta, Alexander; Draheim, DirkACM computing surveys2022 / art. 3453475, p. 1–34 https://doi.org/10.1145/3453475 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85110396926&origin=inward&txGid=62079a7887135db46327466a076589f0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000671787900019