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 d'étude d'analyse ultramétrique, Tome 14 (1986-1987), Exposé no. 18, 15 p.
Groupe d'étude d'analyse ultramétrique, Tome 5 (1977-1978), Exposé no. 13, 5 p.
Utilisation des calculateurs en mathématiques pures (Limoges, 1975),
Bulletin de la Société mathématique de France. Mémoire, no. 49-50 (1977), pp. 137-140
RAIRO. Informatique théorique, Tome 11 (1977) no. 3, pp. 207-211
