A Theory of Interfaces and Modules I-Composition Theorem

Simon S. Lam, A. Udaya Shankar. A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng., 20(1):55-71, 1994. [doi]

Abstract

Abstract is missing.