Source: https://www.irif.fr/~zielonka/Enseignement/BDAvances/2011/NORMALISATION/normalisation.pdf