Source: http://hal.inria.fr/docs/00/54/45/09/PDF/these_viguerie.pdf