Theoretical background of Classes and Objects

I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous question I asked here.

• Why are you committing to using formal languages? There is an entire subfield of computer science called semantics devoted to studying the mathematics underlying programming language concepts. – Vijay D Apr 22 '15 at 4:59
• This question might be more appropriate to cs.stackexchange.com. Anyway, there are various calculi, of which Abadi and Cardelli's object calculus, a variant of the $\lambda$-calculus, might be the most well-known. It models classes as special kind of objects. Calculi such as Featherweight Java and Middleweight Java model classes directly. – Martin Berger Apr 22 '15 at 14:18
• @MartinBerger, Is there anyway that I can move this seamlessly to cs.stackexchange.com, or I need to re-post the questions there and provide a link to this one!? – qartal Apr 24 '15 at 6:59
• @qartal Yes, see e.g. here. – Martin Berger Apr 24 '15 at 7:03