Algorithmic topology and classification of 3-manifolds / - Matveev, S. V. (Springer,, 2003)