Source: http://www.labri.fr/perso/igw/Papers/igw-synt-chapter.pdf