The geometry of the word problem
Martin R. Bridson
A detailed introduction to the geometry of the word problem with comprehensive proofs of van Kampen's Lemma and Gromov's Filling Theorem.
the pdf version