P. Todd, “Geometry expressions: an interactive constraint based symbolic geometry system”, Teach. Math. Comp. Sci., vol. 6, no. 2, pp. 303–310, Dec. 2008, doi: 10.5485/TMCS.2008.0181.