Group-theoretic algorithms and graph isomorphism - Hoffmann, Christoph M. (Lecture Notes in Computer Science, 1982)