Liste des citations dans Numdam pour : Une formalisation de la sémantique des langages de programmation

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976) no. R3, pp. 5-21.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) no. 1, pp. 83-118.