Introducing Regina, the 3-manifold topology software. Burton, Benjamin A. (2004) Experimental Mathematics