Gilles Barthe Guillaume Dufay Marieke Huisman Simão Melo de Sousa 2-18 2001 conf/esmart/2001 E-smart http://link.springer.de/link/service/series/0558/bibs/2140/21400002.htm db/conf/esmart/esmart2001.html#BartheDHS01