接口连接式构件组装的一种形式化方法

• A Formal Method of Interface-Connection Component Composition