Есть ли статьи в которых формально описывается поведение объектов, как происходит диспетчеризация, какие методы будут иметь доступ к каким членам объекта.
Вообще ООП бывает много и разно: множественная диспетчеризация, прототипное ООП, виртуальные/невиртуальные методы, etc. Круто бы было все эти штуки формально описать.
Вообще, реквестирую научные статьи формализующие ООП или хотя бы немного пытающиеся.
btw, кастую в тред 
jtootf
