A theory of objects - Abadi, Martin (Springer, 1996)