Source: https://people.montefiore.uliege.be/boigelot/cours/info/syllabus/info-ch-1-2.pdf