Товарищи-программисты, встречал ли кто-либо формальный подход к объектам и объектной модели данных?

Есть вот реляционные СУБД и есть реляционная алгебра, отношения и прочее.
Хотелось бы узреть подобное относительно объектов.
Киньтесь ссылкой, если не затруднит..или хотя бы название книги или статьи.