TruntsevskyY.; SevalnevV. Smart Contract: From Definition to Certainty. LIDA 2021, 2, 100-122.