1. Lecture Notes in Computer Science;T. Nipkow,2002
2. LogiCal Project, INRIA Rocquencourt, France: The Coq Proof Assistant Reference Manual – Version 8.0 (2004), ftp://ftp.inria.fr/INRIA/coq/V8.0/doc/
3. Audebaud, P., Rideau, L.: TeXmacs as authoring tool for publication and dissemination of formal developments. ENTCS, Rome, vol. 103, pp. 27–48 (2003)
4. Autexier, S., Benzmüller, C., Fiedler, A., Lesourd, H.: Integrating proof assistants as reasoning and verification tools into a scientific WYSIWIG (ed.) In: User Interfaces for Theorem Provers (UITP 2005) [Workshop], Edinburgh (2005)
5. Mamane, L.E., Geuvers, H.: A document-oriented Coq plugin for TeXmacs. In: Mathematical User-Interfaces Workshop 2006 [Workshop], Workingham (2006)