Liste des citations dans Numdam pour : Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
RAIRO. Informatique théorique, Tome 19 (1985) no. 1, pp. 33-41.
Mathématiques informatique et sciences humaines, Tome 103 (1988), pp. 93-109.