A Theory of Objects (1996)

by Mart'in Abadi, Luca Cardelli
Venue:Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science