Source: https://hal.inria.fr/file/index/docid/930643/filename/hal-00930643.pdf