1. Defining Relations and Algorithmic Problems for Groups and Semigroups;Adjan,1967
2. Confluent and other types of Thue Systems;Book;J. Assoc. Comput. Mach.,1982
3. The Knuth-Bendix completion procedure and Thue systems;Kapur;Siam J. Comput.,1985
4. Combinatorics on words;Lothaire,1983
5. Congruences parfaites et quasi-parfaites;Nivat,1971