Varieties of Object-Oriented Programming Languages | part of Foundations of Object-Oriented Languages: Types and Semantics | MIT Press books | IEEE Xplore