Văn bản này: Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann.