D. Bosnacki, D. Dams, and L. Holenderski, Symmetric spin, International Journal on Software Tools for Technology Transfer, vol.4, issue.1, pp.65-80, 2002.

G. Butler, Fundamental Algorithms for Permutation Groups, LNCS, vol.559, 1991.
DOI : 10.1007/3-540-54955-2

M. Caler and A. Miller, Generalising feature interactions in email, FIW'03, pp.187-204, 2003.

E. M. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla, Symmetry reductions in model checking, CAV'98, pp.147-158, 1998.
DOI : 10.1007/BFb0028741

E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

F. Derepas and P. Gastin, Model checking systems of replicated processes with spin, SPIN'01, pp.235-251, 2001.
DOI : 10.1007/3-540-45139-0_15

A. F. Donaldson and A. Miller, A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker, AMAST'06, pp.374-380, 2006.
DOI : 10.1007/11784180_29

A. F. Donaldson and A. Miller, Exact and Approximate Strategies for Symmetry Reduction in Model Checking, FM'06, pp.541-556, 2006.
DOI : 10.1007/11813040_36

E. A. Emerson and T. Wahl, Dynamic Symmetry Reduction, TACAS'05, pp.382-396, 2005.
DOI : 10.1007/978-3-540-31980-1_25

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

C. N. Ip and D. L. Dill, Better verification through symmetry, Formal Methods in System Design, vol.9, issue.12, pp.41-75, 1996.

C. Jefferson, T. Kelsey, S. Linton, and K. Petrie, GAPLex: combining static and dynamic symmetry breaking, 2006.

S. Linton, Finding the smallest image of a set, Proceedings of the 2004 international symposium on Symbolic and algebraic computation , ISSAC '04, pp.229-234, 2004.
DOI : 10.1145/1005285.1005319

G. C. Rota, The Number of Partitions of a Set, The American Mathematical Monthly, vol.71, issue.5, pp.498-504, 1964.
DOI : 10.2307/2312585

A. Seress, Permutation Group Algorithms, 2003.
DOI : 10.1017/CBO9780511546549