Source: http://rseq.ca/media/27872/synthese-denormalisation.pdf