A Theory of Objects. (1996)

by M Abadi, L Cardelli