Steps Toward Mechanizing Program Transformations Using PVS.

Natarajan Shankar Steps Toward Mechanizing Program Transformations Using PVS. 33-57 1996 26 Sci. Comput. Program. 1-3 db/journals/scp/scp26.html#Shankar96