Foundations of Object-Oriented Languages: Types and Semantics (2002)

by Kim Bruce