La fonction d'Ackermann : un nouveau mode de dérécursivation Jacques Arsac — 1986 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Algorithmes pour vérifier la conjecture de Syracuse Jacques Arsac — 1987 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann Jacques J. Arsac — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications