Source: https://theses.hal.science/tel-01286640/document.pdf