1. Efficient algorithms for testing the twins property;Allauzen;Journal of Automata, Languages and Combinatorics,2003
2. Squaring transducers. An efficient procedure for deciding functionality and sequentiality;Béal;Theoretical Computer Science,2003
3. Rational Series and their Languages;Berstel,1984
4. Noncommutative Rational Series with Applications;Berstel,2010
5. A pumping-lemma and decidability problems for recognizable tree series;Borchardt;Acta Cybernetica,2003