http://selftiming.ru/new/2004/09/14/tehnologicheskij-podhod-k-sozdaniyu-teoreticheskoj-bazy-rekurrentnyh-kompyuterov/