Source: https://www.lmno.cnrs.fr/archives/dehornoy/Surveys/DehornoyChap1.pdf