Kung-Kiu Lau Mario Ornaghi Zheng Wang A Software Component Model and Its Preliminary Formalisation. 1-21 2005 conf/fmco/2005 FMCO http://dx.doi.org/10.1007/11804192_1 db/conf/fmco/fmco2005.html#LauOW05