Source: http://homepages.laas.fr/fabre/ENSEIGNEMENT/DIS/ProgDist-IntroV7.pdf