1. J. Albert, ?On the Ehrenfeucht conjecture on test sets and its dual version,? Lect. Notes Comput. Sci.,176, 176?184 (1984).
2. II Culic, ?Homomorphisms: decidability, equality, and test sets,? in: Formal Language Theory: Perspectives and Open Problems, R. Book (ed.), Academic Press, New York (1980).
3. M. I. Kargapolov and Yu. I. Merzlyakov, Basic Theory of Groups [in Russian], Nauka, Moscow (1982).
4. S. A. Lang, Algebra, Addison-Wesley (1965).