1. Congruences plus que parfaites et langages algébriques;Berstel,1976
2. Confluent and other types of Thue systems;Book;J. ACM,1982
3. Monadic Thue systems;Book;Theoret. Comput. Sci.,1982
4. Une famille de congruences de Thue pour les quelles le problème de l'équivalence est décidable. Application à l'équivalence des grammaires séparées;Butzbach,1973
5. Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems;Ehrenfeucht;Acta Inform.,1974