Chapter in the Handbook of Geometric Constraint Systems Principles by Jacques Fleuriot