Liste des citations dans Numdam pour : Les tests et leur caractérisation syntaxique
RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 133-156.
RAIRO. Informatique théorique, Tome 12 (1978) no. 2, pp. 69-82.
RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 237-263.
