1. Lecture Notes in Computer Science;A. Asperti,2006
2. Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaëtano, M., Kohlhase, M.: The OpenMath standard, version 2.0. Technical report, The OpenMath Society (June 2004), available at:
http://www.openmath.org/
3. Lecture Notes in Computer Science;P. Cairns,2004
4. Lecture Notes in Computer Science;P. Graf,1996
5. Kohlhase, M.: OMdoc: Towards an openmath representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), See also:
http://www.mathweb.org/omdoc