Group-theoretic Algorithms and Graph Isomorphism - C. M. Hoffmann