An imperative object calculus. Theory and Practice of Object Systems (1996)

by M Abadi, L Cardelli