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.
Theoretical background of Classes and Objects
graph theory;formal modeling;formal methods;object oriented