Formal paper: “An Aristotelian Understanding of Object-Oriented Programming” http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1076