Foundations of Object-oriented Languages: Types and Semantics
Kim B. Bruce
[Aba94] Martin Abadi. Baby Modula-3 and a theory of objects. Journal of Functional Programming, 4:249-283, 1994. [AC93] Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and ...