В.С. Анашин. Блокчейн, смарт-контракты и неархимедова теория автоматов ...