Algorithmic Topology And Classification Of 3-Manifolds by Sergey V. Matveev