An operational semantics for TOOPLE: A staticallytyped object-oriented programming language (1993)

by Kim B Bruce, Jonathan Crabtree, Gerald Kanapathy
Venue:Mathematical Foundations of Programming Semantics 9th International Conference