Source: http://www-sop.inria.fr/members/Doliere.Some/papers/wpes.pdf