Group-Theoretic Algorithms and Graph Isomorphism: Lecture Notes in Computer Science (136) - Hoffmann, Christoph M.