List of citations in Numdam for : Pure interpretations of EOL forms

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

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