@inproceedings{Hense1991, author = {Andreas V. Hense}, title = {Wrapper semantics of an object-oriented programming language with state}, series = {Ito, Meyer (Eds.): Theoretical Aspects of Computer Software. International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings. Lecture Notes in Computer Science, Vol. 526}, publisher = {Springer}, isbn = {978-3-540-54415-9}, doi = {10.1007/3-540-54415-1\_64}, pages = {548 -- 568}, year = {1991}, language = {en} }