А. С. Золотов, “О применении конечных автоматов к исследованию разрешимости теории с оператором фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 1, 103–115
Sergey M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii J Math, 36:4 (2015), 328
С. М. Дудаков, “Неразрешимость проблемы определенности бинарных IFP-операторов для теории одного следования”, Вестник Тверского государственного университета. Сер. Прикладная математика, 2014, № 4, 7–15
Дудаков С.М., “О безопасности IFP-операторов и рекурсивных запросов”, Вестн. Тверского гос. ун-та. Сер. Прикладная математика, 2013, 5–13
Дудаков С.М., “О безопасности рекурсивных запросов”, Вестн. Тверского гос. ун-та. Сер. Прикладная математика, 2012, № 4, 71–80