Algorithmic Topology and Classification of 3-Manifolds - Matveev, Sergei (Springer Berlin Heidelberg, 2007)