Brady N. The geometry of the word problem for finitely generated groups / N. Brady, H. Short, T. Riley, 2007 r=on-line