1. S. I. Adjan,Defining relations and algorithmic problems for groups and semigroups, Proceedings of the Steklov Institute of Mathematics 85 (1966), Amer. Math. Soc., 1967.
2. J. Avenhaus and K. Madlener, String matching and algorithmic problems in free groups,Revista Colombiana de Matematicas 14, 1–16 (1980).
3. J. Berstel, Congruences plus que parfaites et langages algébriques,Séminaire d'Informatique Théorique, Institut de Programmation, 1976–77, 123–147.
4. R. Book, Confluent and other types of Thue systems,J. Assoc. Comput. Mach. 29, 171–182 (1982).
5. R. Book, A note on special Thue systems with a single defining relation,Math. Systems Theory 16, 57–60 (1983).