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