Source: http://www-desir.lip6.fr/~spanjaard/cours/Algo_cours7.pdf