Косовский, Н. К., & Косовская, Т. М. (2014). Полная алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 1(3), 368–376. извлечено от https://math-mech-astr-journal.spbu.ru/article/view/11064