1. Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0, 2nd edn. W3C Recommendation. World Wide Web Consortium (W3C) (2003)
2. Ausbrooks, R., Buswell, S., Carlisle, D., Chavchanidze, G., Dalmas, S., Devitt, S., Diaz, A., Dooley, S., Hunter, R., Ion, P., Kohlhase, M., Lazrek, A., Libbrecht, P., Miller, B., Miner, R., Sargent, M., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 3.0. W3C Recommendation. World Wide Web Consortium (W3C) (2010)
3. Abbott, J., van Leeuwen, A., Strotmann, A.: Openmath: communicating mathematical information between co-operating agents in a knowledge network. J. Intell. Syst. 8 (1998)
4. Benzmüller C., Brown C., Kohlhase M.: Higher order semantics and extensionality. J. Symb. Logic 69, 1027–1088 (2004)
5. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The OpenMath Society (2004)