Combinatorial group theory - Lyndon, Róger C. (1977)