Theory of Objects - Abadi, Martin; Cardelli, Luca. (New York S-V, 1996)