José Luiz Fiadeiro Antónia Lopes Laura Bocchi Algebraic Semantics of Service Component Modules. 37-55 2006 conf/wadt/2006 WADT http://dx.doi.org/10.1007/978-3-540-71998-4_3 db/conf/wadt/wadt2006.html#FiadeiroLB06