Source: https://spcl.ac-montpellier.fr/moodle/pluginfile.php/7775/mod_label/intro/CGL_SPCL_Exp_2017.pdf