Source: http://umet.univ-lille1.fr/Perso/Cordier/P4-2008.pdf