Towards Symmetry Aware Refinement Checking (Extended Abstract) - Moffat, N; Goldsmith, M; Roscoe, B (2007)