Jacques J. Arsac Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann. [Citation Graph (0, 0)][DBLP] ITA, 1977, v:11, n:2, pp:91-112 [Journal]
Gérard Berry Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. [Citation Graph (0, 0)][DBLP] ITA, 1977, v:11, n:2, pp:113-126 [Journal]