http://www.inrialpes.fr/sed/NPAR08/