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