Source: https://chercheurs.lille.inria.fr/cerignou/resumes/Proc_Markov.pdf