Springer Computer Science, 10 Jul 2019 Valery A. Nepomniaschy, A.P. Ershov Institute of Informatics Systems and Aliaksandr Birukou, Springer Nature with a copy of…