Source: https://hal.univ-lorraine.fr/tel-01776481/file/INPL_T_1993_BOCKSTALLER_C.pdf