Source: https://hal.inria.fr/tel-00177244/PDF/omer-vol2.pdf