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