Source: https://www.irisa.fr/sage/bernard/publis/AF1224-FINAL.pdf