Algorithms in 4-manifold topology | Publicación