Matveev, S. V. (2000). Computer classification of 3-manifolds. Russian Journal of Mathematical Physics, 7, 319-329.