Source: http://www2.ift.ulaval.ca/~chaib/IFT-6001/articles/Comment-Synthese.pdf