Liste des citations dans Numdam pour : Pure interpretations of EOL forms

RAIRO. Informatique théorique, Tome 13 (1979) no. 4, pp. 347-362.

RAIRO. Informatique théorique, Tome 15 (1981) no. 2, pp. 161-173.