Total correctness by local improvement in program transformation (1995)

by D Sands
Venue:In Proc. 22nd ACM Symp. on Principles of Programming Languages