Source: https://hal.inria.fr/docs/00/69/42/07/PDF/GPI-18042012.pdf