Algorithmic and computer methods for three manifolds. - Kluwer Academic Publishers, 1997. - ( Mathematics and its Applications (Kluwer) ; 425).