Ludmila K. Babenko, Ekaterina Maro, Maxim Anikeev: Modeling of Algebraic Analysis of GOST+ Cipher in SageMath. SIN 2016: 100-103