A Theory of Interfaces and Modules: I-Composition Theorem (1994)

by S Lam, A Shankar
Venue:IEEE Transactions on Software Engineering