Source: http://remi.bazillier.free.fr/conf20e_ch3.pdf