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