1. Lecture Notes in Computer Science;H. Kredel,2010
2. Watt, S.: Aldor. In: Computer Algebra Handbook, pp. 265–270. Springer, Heidelberg (2003)
3. Odersky, M.: The Scala programming language. Technical report (2003-2011), http://www.scala-lang.org/ (accessed June 2011)
4. Jenks, R., Sutor, R. (eds.): Axiom The Scientific Computation System. Springer, Heidelberg (1992)
5. Rubio, J., Sergeraert, F.: Constructive algebraic topology. Bulletin des Sciences Mathematiques 126(5), 389–412 (2002)