Liste des citations dans Numdam pour : Deux propriétés décidables des suites récurrentes linéaires

Bulletin de la Société Mathématique de France, Tome 104 (1976), pp. 175-184.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 2, pp. 361-374.

Groupe de travail d'analyse ultramétrique, Tome 14 (1986-1987), Exposé no. 18, 15 p.

Groupe de travail d'analyse ultramétrique, Tome 5 (1977-1978), Exposé no. 13, 5 p.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 3, pp. 207-211.

Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 137-140.