Liste des citations dans Numdam pour : Bottom-up computation of recursive programs

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R1, pp. 47-82.


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