1. Isomorphism of graphs of bounded valence can be tested in polynomial time;Luks,1980
2. Notes on the ‘Magic Cube’;Singmaster,1980
3. Computational methods in the study of permutation in groups;Sims,1970
4. Polynomial-time algorithms for permutation groups;Furst,1980
5. Computers and Intractability: A Guide to the Theory of NP-Completeness;Garey,1979