194	  Turner, Edd and Butler, Michael and Leuschel, Michael  (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.  In: ABZ 2010.    (In Press)