Source: http://fab7887.free.fr/Fac-Plops/Taf/SE/SE - Cours Sem1/Cours PDF/chap7.pdf