TruntsevskyY. and SevalnevV., “Smart contract: from definition to certainty”, LIDA, vol. 1, no. 1, pp. 100-122, May 2021.