Source: https://www.lip6.fr/public/2012-11-15_Boukhobza_Flash_Final.pdf