Could someone please point me to existing research in formalizing the OO
approach (in relationship with fundamentals of Mathematics, Set Theory)?
Thank you.

Florin