A theory of objects - Abadi, Martín (Monographs in computer science, 1996)