Selected papers that cite this one Natarajan Shankar. Steps toward mechanizing program transformations using PVS. Science of Computer Programming, 26(1-3):33-57, May 1996.