Dwivedi, V., Pattanaik, V., Deval, V., Dixit, A., Norta, A., Draheim, D. Legally enforceable smart-contract languages : a systematic literature review // ACM computing surveys (2022) Vol. 54, 5, art. 3453475, p. 1–34. https://doi.org/10.1145/3453475