A. V. Tyurin, I. V. Tyulyandin, V. S. Maltsev, I. A. Kirilenko, D. A. Berezun, “Overview of the languages for safe smart contract programming”, Proceedings of ISP RAS, 31:3 (2019), 157–176
D. A. Berezun, “Complete head linear reduction”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017), 59–82
