Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений. Comput. Tools Educ. [Интернет]. 31 октябрь 2010 г. [цитируется по 12 ноябрь 2026 г.];(5). доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1233