''A Theory of Objects'' by MartinAbadi and LucaCardelli. Springer, ISBN 0-387-94775-2. http://images.amazon.com/images/P/0387947752.01._PE_PI_SCMZZZZZZZ_.jpg See http://lucacardelli.name/TheoryOfObjects.html for a table of contents. ---- CategoryBook