The logic and mathematics of object orientation [duplicate]

This question already has answers here: 开发者_如何学运维 Closed 12 years ago.

Possible Duplicate:

Is OOP based on any branch of mathematics?

This is, allegedly, a strange question: are there any mathematical/logic foundations for the object-oriented paradigm? And, if so, is there a paper/book about it? Thanks.

---

The object oriented paradigm was not derived from a mathematical theory (unlike relational databases), it was initially invented for practical reasons, to simulate processes (Simula). People are trying to find a good mathematical foundation for it so that the existing languages can be polished or moddified, nice theoretical properties can be uncovered and so on.

The work on "Abstract Data Types" is such a train of thought. There are probably other mathematical ways of looking at object orientedness. I found some information in "Object Oriented Software Construction", 2nd edition, Bertrand Meyer.

---

There are the object calculi studied by Martín Abadi and Luca Cardelli. They have a book, A Theory of Objects, and see the "related work" link for the papers.

---

There has been a lot of work done in this area. One particular paper I know of is Kathleen Fisher's PhD thesis (I have a link to her CV here, but I don't know of a way to get the thesis itself), which I believe laid a lot of the groundwork in this area.