Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: An Interpretation of Typed OOP in a Language with State. LISP Symb. Comput. 8(4): 357-397 (1995)