Ripon, S., & Miller, A. (2011). Verification of Symmetry Detection using PVS. Electronic Communications of the EASST, 35. https://doi.org/10.14279/tuj.eceasst.35.555