A Theory of Objects (1996)

by M Abadi, L Cardelli
Venue:Theoretical Computer Science