1. P. Andary, P. Caron, J.-M. Champarnaud, G. Duchamp, M. Flouret, É. Laugerotte, SEA: a symbolic environement for automata, Proc. WIA’99, Postdam, 1999.
2. Rational Series and Their Languages;Berstel,1988
3. Automate, a computing package for automata and finite semigroups;Champarnaud;J. Symbolic Comput.,1991
4. Un critère de rationalité provenant de la géométrie noncommutative;Duchamp;Invent. Math.,1997