1. Adjan, S.: Defining relations and algorithmic problems for groups and semigroups. Proc. Steklov Inst. Math.85 (1966);
2. English version: Am. Math. Soc. Transl.152 (1967)
3. Lect. Notes Comput. Sci.;B. Benninghofen,1987
4. Berstel, J.: Congruences plus que parfaites et langages algébriques. Seminaire d'Informatique Théorique, Institut de Programmation 1976?77, pp. 123?147
5. Berstel, J., Perrin, D.: Theory of codes. New York: Academic Press 1985