Source: https://who.rocq.inria.fr/Jean-Charles.Gilbert/ensta/04-co.pdf