1. Axel Thue's work on repetitions in words;Berstel,1990
2. Logic and p-recognizable sets of integers;Bruyère;Bull. Belg. Math. Soc.,1994
3. Stable equivalences of finite graphs;Goldberg;Dopovidi Akad. Nauk Ukr. SSR,1965
4. Décidabilité par automate fini;Hodgson;Ann. Sci. Math. Quebec,1983
5. Extensions décidables de l'arithmétique de Presburger d'après Semënov, Mémoire de DEA;Maes,1996