Geometric and computational perspectives on infinite groups : - Baumslag, Gilbert (DIMACS series in discrete mathematics and theoretical computer science, 1996)