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