1. Lecture Notes in Artificial Intelligence;D. Aspinall,2006
2. Lecture Notes in Artificial Intelligence;D. Aspinall,2007
3. Eclipse: An open development platform (December 2011), http://www.eclipse.org/
4. Etherpad lite: real time collaborative editor (February 2012), web page at https://github.com/Pita/etherpad-lite/raw/master/doc/easysync/easysync-notes.pdf
5. Kohlhase, M.: Semantic Markup for TEX/LATEX. In: Libbrecht, P. (ed.) Mathematical User Interfaces (2004), http://www.activemath.org/~paul/MathUI04