A Theory of object - Abadi, Martin. (Springer-Verlag, 1996)
Includes bibliographical references & index.