K. Watkins, I. Cervesato, F. Pfenning, und D. Walker. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, Seite 355-377. Springer, (2004)
F. Pfenning. Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS'01), Seite 221-230. Boston, Massachusetts, IEEE Computer Society Press, (Juni 2001)
H. Xi, und F. Pfenning. Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, Seite 214-227. New York, NY, (1999)
W. Christen, F. Havemann, E. Hilf, V. Mellert, T. Severiens, und P. Schirmbacher. http://eve.mathematik.uni-osnabrueck.de/wiki/images/8/87/Slot3-Antrag-2-final-public-3.pdf, (June 2008)Konzeption des Antrages an die Deutsche Forschungsgemeinschaft DFG; Teilprojekt zum Open Access Network von DINI Deutsche Initiative für NetzwerkInformation, see http://www.isn-oldenburg.de/\~hilf/pub-hilf/documents/2008/2/Slot3-Antrag-2-final-public-3.pdf.