Approaches to Modeling Blockchain Systems. - Anastasia V. Spirkina; Elizaveta A. Aptrieva; Vasiliy S. Elagin; Artem A. Shvidkiy; Anastasiia A. Savelieva (ICUMT, 2020)