MAGRITTE is a 8 letter word that starts with M.

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].