Todd, P. 2008. Geometry expressions: an interactive constraint based symbolic geometry system. Teaching Mathematics and Computer Science. 6, 2 (Dec. 2008), 303–310. DOI:https://doi.org/10.5485/TMCS.2008.0181.