A semantics of object types (1994)

by Martn Abadi, Luca Cardelli
Venue:In Ninth Annual IEEE Symposium on Logic in Computer Science