A theory of objects (1996)

by M Abadi, L Cardelli