1. G. Baumslag, A. Miasnikov, V. Remeslennikov, Algebraic geometry over groups
2. G. Baumslag, A. Miasnikov, V. Remeslennikov, Completions of hyperbolic groups, their universal theory and discrimination
3. The verbal topology of a group
4. Varieties of Groups;Neumann,1967