Source: https://www-ia.lip6.fr/~tollaris/ARTICLES/PRESENTATIONS/P20042007/Tollari_Seminaire_ESIL_11Avril2007.pdf