1. Computing in permutation and matrix groups, II: Backtrack algorithm;Butler;Math. Comp.,1982
2. Computing normalizers in permutation groups;Butler;J. Algorithms,1983
3. A general backtrack algorithm for the isomorphism of combinatorial objects;Butler;J. Symbolic Computation,1985
4. An introduction to the group theory language Cayley;Cannon,1984
5. A computational toolkit for finite permutation groups;Cannon,1985