An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. - Kim B. Bruce; Jonathan Crabtree; Gerlad Kanapathy (MFPS, 1993)