Algorithmic and Computer Methods for Three-Manifolds door A.T. Fomenko & S.V. Matveev