“Polinomial Church thesis for refal-5-functions, normal, algorithms and their generalizations” (2010) Computer Tools in Education [Preprint], (5). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1233 (Accessed: 11 November 2026).