A language-based approach to functionally correct imperative programming (2005)

by E Westbrook, A Stump, I Wehrman
Venue:In International Conference on Functional Programming