Foundations of object-oriented languages (1995)

by G Castagna, G Leavens
Venue:ACM SIGPLAN Notices