La fonction d'Ackermann : un nouveau mode de dérécursivation Jacques Arsac (1986) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs. J.Y., Vauzeilles, J. Girard (1984) Archiv für mathematische Logik und Grundlagenforschung