Элементарные рекурсивные функции - Марченков С. С. Сергей Серафимович (Москва, МЦНМО, 2003)