Liste des citations dans Numdam pour : Une formalisation de la sémantique des langages de programmation
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R3, pp. 5-21.
RAIRO. Informatique théorique, Tome 14 (1980) no. 1, pp. 83-118.