Topics in the theory of group presentations - Johnson D L (1980)