An imperative object calculus, in: (1995)

by M Abadi, L Cardelli
Venue:of Lecture Notes in Computer Science,