A Language-based Approach to Functionally Correct Imperative Programming (2005)

by E Westbrook, A Stump, I Wehrman
Venue:10th ACM SIGPLAN International Conference on Functional Programming