@article{DBLP:journals/tse/LamS94,
author = {Simon S. Lam and
A. Udaya Shankar},
title = {A Theory of Interfaces and Modules I-Composition Theorem},
journal = {IEEE Trans. Software Eng.},
volume = {20},
number = {1},
year = {1994},
pages = {55-71},
ee = {http://doi.ieeecomputersociety.org/10.1109/32.263755},
bibsource = {DBLP, http://dblp.uni-trier.de}
}