Source: http://lacl.univ-paris12.fr/cegielski/pse/ch5.pdf