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