''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