When I think about object orientated programming I like to think about Richard Dawkins 'The Extended Phenotype'. In 'The Extended Phenotype' RD treats genetic information as being 'pure information', therefore abstracting the flow of information in a way that is independent of time. 'The Extended Phenotype' therefore forces the reader to think in an abstract way about Ecology. The same is true in OOP. The programmer is forced to abstract outside of time. The account that you give above is useful and no doubt accurate, however the development of OOP has undoubtedly been influenced by other factors that lie outside of the originators, but may never-the-less still be linked to Biology. Inevitably linguist have got involved at some point as well. I would be very surprised if no linguist has ever sort to find a natural human language that best reflects OOP.