Computation with Finitely Presented Groups (Encyclopedia of Mathematics and its Applications, Band 48)