Todd, Philip. “Geometry Expressions: An Interactive Constraint Based Symbolic Geometry System”. Teaching Mathematics and Computer Science, vol. 6, no. 2, Dec. 2008, pp. 303-10, https://doi.org/10.5485/TMCS.2008.0181.