Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

Carl A. Gunter , John C. Mitchell