Бельтюков, А. П. “To the Anniversary of Yuri Vladimirovich Matiyasevich”. Computer Tools in Education, no. 6, Dec. 2017, pp. 5-11, http://cte.eltech.ru/ojs/index.php/kio/article/view/1526.