Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

by David Sands
Venue:ACM Transactions on Programming Languages and Systems