A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking - Moffat, N; Goldsmith, M; Roscoe, B (Springer−Verlag New York Inc, 2008)