A theory of objects - Abadi Martin; Cardelli Luca (Monographs in Computer Science, 1996)