Косовский, Н. К.; Косовская, Т. М. Полная алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти. Математика 2014, 1, 368-376.