Liste des citations dans Numdam pour : Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann

RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 91-112.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 2, pp. 149-156.

RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 213-236.

RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 113-126.