Calculs ascendants du programme d'Ackermann : analyse du programme de J. ArsacG. BerryRAIRO. Inform. théor., 11 2 (1977) 113-126DOI: https://doi.org/10.1051/ita/1977110201131
