Foundations of object-oriented languages: types and semantics (2002)

by K B Bruce