Magritte
James Gosling
A constraint language for interactive graphical layout. It solves its constraints using algebraic transformations. Implemented in LISP. Compare Sketchpad and ThingLab.
"Algebraic Constraints", James Gosling, PhD Thesis, Carnegie Mellon University, TR CS-83-132, May 1983.