1. Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.1) (2003),
http://www.mathweb.org/omdoc/index.html
2. Miner, R., Schaeffer, J.: A gentle introduction to MathML (2001),
http://www.dessci.com/en/support/tutorials/mathml/default.htm
3. Trybulec, A., Blair, H.: Computer assisted reasoning with MIZAR. In: Joshi, A. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, pp. 26–28. Morgan Kaufmann, San Francisco (1985),
http://www.mizar.org/
4. Muzalewski, M.: An Outline of PC Mizar. Foundation of Logic, Mathematics and Informatics, Mizar User Group, Brussels (1993)
5. Berline, C., Grue, K.: A κ-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science 179(1–2), 137–202 (1997)