Combinatorial group theory : presentations of groups in terms of generators and relations - Magnus, Wilhelm (Dover books on advanced mathematics, 1976)