Algorithmic and computer methods for three-manifolds. - Fomenko, A. T. (Mathematics and its applications, 1997)