1. Adjan, I.: Defining relations and algorithmic problems for groups and semi groups. Proc. Steklov Institute Math. 85 (1966) (Amer. Transl. (1967))
2. Baumslag, G.: Finitely presented metabelian groups. Lect. Notes Comput. Sci. 372, 65?75 (1974)
3. Berstel, J.: Congruences plus parfaites et languages alg�brique. S�minaire d'Information Th�orique, Institut de Programmation, pp. 123?147 (1976?77)
4. Boasson, L.: D�rivations et reduction dans les grammaires alg�briques. Proc. of the 7th ICALP. Lect. Notes Comput. Sci. 85, 109?118 (1980)
5. Clifford, A., Preston, G.: The algebraic theory of semi-groups. Am. Math. Soc. I (1961), II (1967)