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