Robert J. Allen David Garlan Formalizing Architectural Connection. 71-80 1994 ICSE http://doi.acm.org/10.1145/257734.257745 db/conf/icse/icse94.html#AllenG94