Source: https://hal.univ-lorraine.fr/tel-01751019/file/DDOC_T_2014_0148_STEINER.pdf