Source: https://www.dicosmo.org/CourseNotes/LogicielLibre/0809/CoursLL-notes-01.pdf