Source: http://people.rennes.inria.fr/Olivier.Sentieys/teach/MainPoly_TDDS.pdf