1. Logic and p-recognizable sets of integers;Bruyère;Bull. Belg. Math. Soc.,1994
2. M.K. Goldberg, Stable equivalences of finite graphs, Dopovidi Akad. Nauk Ukr. SSR (1965) 1009–1011.
3. A. Maes, Extensions décidables del'arithmétique de Presburger d'après Semenov, Mémoire de DEA, Université de Mons-Hainaut, Belgique, 1996.
4. Morphisms and almost-periodicity;Maes;Discrete Appl. Math.,1998
5. Decidability of periodicity for infinite words;Pansiot;RAIRO, Inform théorique Appl.