A constraint language for interactive graphical layout by J. Gosling. It solves constraints using algebraic transformations.

["Algebraic Constraints", J. Gosling, PhD Thesis, TR CS-83-132, CMU, May 1983].