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.