Source: https://hal.inria.fr/tel-03304880/file/thesis.pdf