Natarajan Shankar. Steps Toward Mechanizing Program Transformations Using PVS. Science of Computer Programming, 26(1-3):33-57, 1996.
@article{Shankar96:1, title = {Steps Toward Mechanizing Program Transformations Using PVS}, author = {Natarajan Shankar}, year = {1996}, tags = {transformation, program transformation}, researchr = {https://researchr.org/publication/Shankar96%3A1}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {26}, number = {1-3}, pages = {33-57}, }