Gilles Barthe César Kunz Perspectives in Certificate Translation. 23-34 2010 TGC http://dx.doi.org/10.1007/978-3-642-15640-3_2 conf/tgc/2010 db/conf/tgc/tgc2010.html#BartheK10