Source: https://specfun.inria.fr/dumas/Publications/Dumas93.pdf