A logical theory of interfaces and objects | IEEE Journals & Magazine | IEEE Xplore