Isolating side effects in sequential languages (1995)

by J Riecke, R Viswanathan
Venue:In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’95