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.
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.
RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 207-211.
