An Imperative Object Calculus. Theory and Practice of Object Systems (1996)

by M Abadi, L Cardelli