References
  
  [Sim90] Sims, C. C., Computing the order of a solvable permutation group, J.
  Symbolic Comput., 9, 5-6 (1990), 699–705, ((Computational group theory, Part
  1)).