S. Ripon and A. Miller, “Verification of Symmetry Detection using PVS”, eceasst, vol. 35, Apr. 2011.