О сложности универсального нормального алгорифма, в сб.: Теория алгорифмов и математическая логика

http://libmeta.ru/resource/mathenc/publication/p1737