Математическая энциклопедия
Рекурсивная функция,- одно из эквивалентных уточнений понятия вычислимой функции. В. Е. Плиско.