Presentations of groups - Johnson D L (Cambridge CUP, 1976)