Algorithms and classification in combinatorial group theory - Baumslag Miller III, C F, Ed. (NY Springer- Verlag, 1991)