Group-theoretic algorithms and graph isomorphism - Hoffmann, Christoph M. (Springer Verlag, 1982)