Typed foundations of object-oriented programming (1992)

by Luca Cardelli
Venue:Tutorial given at POPL '92. [CCH