David Sands. Total Correctness by Local Improvement in Program Transformation. In POPL. pages 221-232, 1995.
@inproceedings{Sands95:1, title = {Total Correctness by Local Improvement in Program Transformation}, author = {David Sands}, year = {1995}, tags = {transformation, program transformation}, researchr = {https://researchr.org/publication/Sands95%3A1}, cites = {0}, citedby = {0}, pages = {221-232}, booktitle = {POPL}, }