1. http://www.informatik.tu-darmstadt.de/pm/verifun/
2. Buchmann, J., Ruppert, M., Tak, M.: FlexiPKI - Realisierung einer flexiblen Public-Key-Infrastruktur. Technical Report TI-22/99, Theoretische Informatik, Technische Universität Darmstadt (2003)
3. Stephan, W., Vogt, R.: FairPay - Security Engineering für den elektronischen Zahlungsverkehr. In: Jantke, K.P., Wittig, W.S., Herrmann, J. (eds.) Von e-Learning bis e-Payment - Tagungsband LIT 2002, Berlin (2003). Akademische Verlagsgesellschaft
4. Walther, C., Schweitzer, S.: A Machine Supported Proof of the Unique Prime Factorization Theorem. Technical Report VFR 02/03, Programmiermethodik, Technische Universität Darmstadt (2002)
5. Walther, C., Schweitzer, S.: The $\checkmark$ eriFun Tutorial. Technical Report VFR 02/04, Programmiermethodik, Technische Universität Darmstadt (2002)