[zbMATH00060665]
Permutation group algorithms based on partitions. I: Theory and algorithms.
{J. Symb. Comput.} 12(4-5),
1991
[Babai:1983:CCC:1382437.1382817]
Computational Complexity and the Classification of Finite Simple Groups
Proceedings of the 24th Annual Symposium on Foundations of Computer Science,
1983