1. Kaliszyk, C.: Web interfaces for proof assistants. In: Autexier, S., Benzmüller, C. (eds.) Proceedings of the FLoCs Workshop on User Interfaces for Theorem Provers (UITP-06), Seattle, pp. 53–64 (To be published in ENTCS) (2006)
2. Paulson, L.D.: Building rich web applications with ajax. Computer 38(10), 14–17 (2005)
3. Lecture Notes in Computer Science;T. Nipkow,2002
4. Coq Development Team: The Coq Proof Assistant Reference Manual Version 8.0. INRIA-Rocquencourt (January 2005),
http://coq.inria.fr/doc-eng.html
5. Muzalewski, M.: An Outline of PC Mizar. Fondation Philippe le Hodey, Brussels (1993)