Source: https://homepages.dcc.ufmg.br/~chaimo/public/LARS2010n.pdf