Foundations of Object-Oriented Languages: Types and Semantics
Kim B. Bruce is Frederick Latimer Wells Professor of Computer Science at Williams College.