Refining first-class stores (1993)

by J G Morrisett
Venue:In Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages