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).