Catherine Dubois Thérèse Hardin Véronique Donzeau-Gouge Building certified components within FOCAL. 33-48 2004 conf/sfp/2004 Trends in Functional Programming db/conf/sfp/tfp2004.html#DuboisHD04