books.google.ca - From the reviews of the 1st edition: "This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds. Originating...http://books.google.ca/books/about/Algorithmic_Topology_and_Classification.html?hl=ru&id=vFLgAyeVSqAC&utm_source=gb-gplus-shareAlgorithmic Topology and Classification of Three-manifolds
