An imperative object calculus (1995)

by M Abadi, L Cardelli
Venue:Proc. TAPSOFT'95