A. Hense "Wrapper Semantics of an Object-Oriented Programming Language with State proceedings of "Theoretical Aspects of Computer Software", pp. 548-568, T. Ito and A. R. Meyer editors, Springer-Verlag, LNCS 526, (1991)

Languages mentioned

• O'Small {1991}