A Logical Theory of Interfaces and Objects

Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. A Logical Theory of Interfaces and Objects. IEEE Trans. Software Eng., 28(6):548-575, 2002. [doi]

Abstract

Abstract is missing.