Object-oriented programming without recursive types (1993)

by Benjamin C Pierce, David N Turner
Venue:In Proc. ACM Symposium on Principles of Programming Languages