Towards Symmetry Aware Refinement Checking (Extended Abstract) - Moffat, N; Goldsmith, M; Roscoe, B (International Symmetry Conference‚ Edinburgh‚ January 15−17‚ 2007, 2007)