Source: https://www.irif.fr/~francoisl/PUBLIS/fl-etr2003.pdf