Algorithmic Topology and Classification of 3-Manifolds - Matveev, Sergei; Cohen, Arjeh M.; Cohen, Henri; Eisenbud, David (Springer Berlin Heidelberg, 2007)