La fonction d'Ackermann : un nouveau mode de dérécursivation Jacques Arsac (1986) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Limiting recursion and the arithmetic hierarchy G. Criscuolo, E. Minicozzi, G. Trautteur (1975) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications