Source: https://www.irit.fr/recherches/ICS/phd/ThesisBarboni.pdf