Total correctness by local improvement in program transformation (1995)

by David Sands
Venue:Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages