Combinatorial Group Theory by Roger C. Lyndon & Paul E. Schupp