Source: http://pageperso.lif.univ-mrs.fr/~liva.ralaivola/teachings20062005/mlsi/pmc.pdf