Source: http://iut.univ-lemans.fr/ydlogi/cours/bibliographie.pdf