Liste des citations dans Numdam pour : Sémantique algébrique d'un langage de programmation type Algol
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 3, pp. 237-263.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) no. 2, pp. 69-82.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 2, pp. 133-156.