Correctness of monadic state: An imperative call-byneed calculus (1998)

by Z M Ariola, A Sabry
Venue:Pages 62–74 of: Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL