1. Kreitz, C.: The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide. Department of Computer Science. Cornell University (2002)
2. The Coq Development Team: The Coq Proof Assistant Reference Manual – Version V7.3 (2002),
http://coq.inria.fr
3. Wenzel, M., Berghofer, S.: The Isabelle System Manual (2003)
4. Kozen, D., Ramanarayanan, G.: A proof-theoretic approach to knowledge acquisition. Technical Report 2005-1985, Computer Science Department, Cornell University (2005)
5. Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry–Howard isomorphism. Available as DIKU Rapport 98/14 (1998)