A Formal Basis for Architectural Connection (1997)

by Robert Allen, David Garlan
Venue:ACM Transactions on Software Engineering and Methodology