Polinomial Church thesis for refal-5-functions, normal, algorithms and their generalizations // Comput. Tools Educ. St. Petersburg, Russia, 2010. № 5.