J. Cannon, B. Cox & D. Holt, 
Computing the subgroup lattice of a permutation group (16 pages).
    To appear in J. Symbolic Computation.