Global state considered unnecessary: Semantics of interference-free imperative programming (1993)

by U S Reddy
Venue:In ACM SIGPLAN Workshop on State in Program. Lang