1. Clados Project [online]. URL: http://clados.sourceforge.net/ .
2. GAlgebra: Sympy Geometric Algebra Package [online]. URL: http://docs.sympy.org/latest/modules/galgebra/ .
3. Objective Caml [online]. URL: http://caml.inria.fr/ocaml/index.en.html .
4. Why3, where programs meet provers [online]. Referenced on the Coq web site. URL: http://why3.lri.fr/ .
5. Binary tree—wikipedia, the free encyclopedia [online]. 2013. URL: http://en.wikipedia.org/wiki/Binary_tree [cited11-June-2013].