Matveev, S. Algorithmic topology and classification of 3-Manifolds. 2nd. edition. - Berlin Springer 2007 - xiv, 492p. - Algorithms and Computation in Mathematics No. 9 . ISBN: 978-3-540-45898-2