• Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85070229816&origin=inward&txGid=9375f1602fdd70684b0b312fc4189af5
• Perceptions on self-regulation and transaction friendliness relevant to smart contractingSolarte Vasquez, Maria Claudia; Rungi, Mait; Nyman-Metcalf, Katrin MerikeInternational journal of law and management2019 / p. 286-308 https://doi.org/10.1108/IJLMA-03-2018-0061 https://www.scopus.com/sourceid/21100232428 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063281582&origin=inward&txGid=48f446b60ea959ca46d2ba946126b2d2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20LAW%20MANAG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000462331800016