Text this: Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann.