A Theory of object - Abadi, Martin. (Monographs in Computer Science., 1996)