A Theory of Objects (1996)

by Martín Abadi, Luca Cardelli
Venue:Monographs in Computer Science Series