1. The Coq Development Team. The Coq Proof Assistant Reference Manual – Version V8 (2004), http://coq.inria.fr/
2. Lecture Notes in Computer Science;H. Geuvers,2002
3. Jojgov, G.I.: Incomplete Proofs and Terms and Their Use in Interactive Theorem Proving. PhD thesis, Eindhoven University of Technology (2004)
4. Kamareddine, F., Nederpelt, R.: A refinement of de Bruijn’s formal language of mathematics. Journal of Logic, Language and Information (2001)
5. Kamareddine, F., Maarek, M., Wells, J.B.: Mathlang: Experience-driven development of a new mathematical language. In: MKM Symposium 2003. Elsevier, Amsterdam (2003)