A calculus for assignments in higherorder languages (1987)

by Matthias Felleisen, Daniel P Friedman
Venue:In POPL ’87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages