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.) Technical report, World Wide Web Consortium (2003), http://www.w3.org/TR/MathML2
2. Asperti, A., Padovani, L., Coen, C.S., Guidi, F., Schena, I.: Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management 38(1-3), 27–46 (2003)
3. David, C., Ginev, D., Kohlhase, M., Matican, B., Mirea, S.: A framework for modular semantic publishing with separate compilation and dynamic linking. In: Castro, A.G., Lange, C., Sandhaus, E., de Waard, A. (eds.) 1st Workshop on Semantic Publication, SePublica (2011) (accepted)
4. General Computer Science: GenCS I/II Lecture Notes (2011), http://gencs.kwarc.info/book/1
5. Lecture Notes in Computer Science;J. Gičeva,2009