David Sands. Total Correctness by Local Improvement in the Transformation of Functional Programs. ACM Transactions on Programming Languages and Systems, 18(2):175-234, 1996. [doi]
@article{Sands96:0,
title = {Total Correctness by Local Improvement in the Transformation of Functional Programs},
author = {David Sands},
year = {1996},
doi = {10.1145/227699.227716},
url = {http://doi.acm.org/10.1145/227699.227716},
tags = {functional programming, transformation, program transformation},
researchr = {https://researchr.org/publication/Sands96%3A0},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {18},
number = {2},
pages = {175-234},
}