Source: http://www.irisa.fr/alf/downloads/puaut/Systeme/N3-Memoire.pdf