Source: https://www.i3s.unice.fr/~tettaman/Classes/AlgoProgObjet/APO-CM07.pdf