1. Example of a graph without transitive automorphism group;Adel'son-Vel'skii;Sov. Math. Dokl.,1969
2. On the order of uniprimitive permutation groups;Babai;Ann. Math.,1981
3. Isomorphism of graphs with bounded eigenvalue multiplicity;Babai,1982
4. Computation complexity and the classification of finite simple groups;Babai,1983
5. Canonical labeling of graphs;Babai,1983