Liste des citations dans Numdam pour : Sémantique formelle des opérateurs d'un langage de listes

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 8 (1974) no. R3, pp. 19-36.

Robinet, B.

RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 213-236.