1. Ausbrooks, R., Buswell, S., Carlisle, D., et al.: Mathematical Markup Language (MathML) version 2.0 (second edition). In: W3C recommendation, World Wide Web Consortium (2003), Available at:
http://www.w3.org/TR/MathML2
2. Lecture Notes in Computer Science;A. Asperti,2004
3. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004),
http://www.openmath.org/standard/om20
4. Creative Commons. Web page at:
http://creativecommons.org
5. Free Software Foundation FSF. Gnu general public license (1991), Software License available at:
http://www.gnu.org/copyleft/gpl.html