Total correctness by local improvement in the transformation of functional programs (1996)

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