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