Uday S. Reddy Global State Considered Unnecessary: An Introduction to Object-Based Semantics. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1996, v:9, n:1, pp:7-76 [Journal]
Ian Stark Categorical Models for Local Names. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1996, v:9, n:1, pp:77-107 [Journal]