Formal foundations for object-oriented data modeling | IEEE Journals & Magazine | IEEE Xplore