A theory of objects - Abadi, Martín (Springer, 1996)