1. Defining relations and algorithmic problems for groups and semigroups;Adjan, S. I.;Trudy Mat. Inst. Steklov.,1966
2. Das Identitätsproblem für Gruppen mit einer definierenden Relation;Magnus, W.;Math. Ann.,1932
3. W. Magnus, A. Karrass, and D. Solitar, Combinatorial group theory, Wiley, New York, 1966.
4. Special monoids and special Thue systems;McNaughton, R.;J. Algebra,1987