Бельтюков, А.П. 2017. To the Anniversary of Yuri Vladimirovich Matiyasevich. Computer Tools in Education. 6 (Dec. 2017), 5-11.