Игнатьев, М. Б. Рекурсивные вычислительные системы. ИУС 2004, 54-57.