Algorithms and classification in combinatorial group theory - Baumslag, G (1991)