Source: https://www.unilim.fr/laco/theses/1998/T1998_01.pdf