Davide Ancona Eugenio Moggi Program Generation and Components. 222-250 2004 conf/fmco/2004 FMCO http://dx.doi.org/10.1007/11561163_10 db/conf/fmco/fmco2004.html#AnconaM04