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