List of citations in Numdam for : Les tests et leur caractérisation syntaxique
RAIRO. Informatique théorique, Volume 11 (1977) no. 2, pp. 133-156.
RAIRO. Informatique théorique, Volume 12 (1978) no. 2, pp. 69-82.
RAIRO. Informatique théorique, Volume 11 (1977) no. 3, pp. 237-263.