Source: https://projets-ima.plil.fr/mediawiki/images/3/34/Rapport_P32_Sultana.pdf