Source: https://www.irit.fr/~Iulian.Ober/ens/ISTR-NTIE2.pdf