Source: https://www.lri.fr/~de/CPL3-0809.pdf