Kung-Kiu Lau Mario Ornaghi Control Encapsulation: A Calculus for Exogenous Composition of Software Components. 121-139 2009 CBSE http://dx.doi.org/10.1007/978-3-642-02414-6_8 conf/cbse/2009 db/conf/cbse/cbse2009.html#LauO09