А. В. Нечёсов, “Некоторые вопросы полиномиально вычислимых представлений для порождающих грамматик и форм Бэкуса – Наура”, Матем. тр., 25:1 (2022), 134–151
А. В. Нечёсов, “Семантическое программирование и полиномиально вычислимые представления”, Матем. тр., 25:2 (2022), 174–202 ; A. V. Nechesov, “Semantic programming and polynomially computable representations”, Siberian Adv. Math., 33:1 (2023), 66–85
S. Goncharov, A. Nechesov, “Polynomial analogue of Gandy's fixed point theorem”, Mathematics, 9:17 (2021), 2102
Nikolay Bazhenov, Lecture Notes in Computer Science, 12159, Computer Science – Theory and Applications, 2020, 142