Бельтюков А. П. To the Anniversary of Yuri Vladimirovich Matiyasevich // Computer Tools in Education. St. Petersburg, Russia, 2017. № 6. Pp. 5-11.