Source: http://lacl.univ-paris12.fr/cegielski/struct/ch3.pdf