Забарина А. И. Об алгоритмах Матиясевича / А. И. Забарина, Г. Г. Пестов // Всероссийская конференция по математике и механике : тезисы докладов, 22-25 сентября 2008 года. Томск, 2008. С. 45-46