Source: https://hal.inria.fr/file/index/docid/892628/filename/hal-00892628.pdf