1. Abel, A., Chang, B.-Y.E., Pfenning, F.: Human-readable machine-verifiable proofs for teaching constructive logic. In: Egly, U., Fiedler, A., Horacek, H., Schmitt, S. (eds.) PROC of the Workshop on Proof Transformation, Proof Presentations and Complexity of Proofs (PTP 2001), pp. 37–50. Universitá degli studi di Siena (2001)
2. Autexier, S., Benzmüller, C., Fiedler, A., Lesourd, H.: Integrating proof assistants as reasoning and verification tools into a scientific WYSIWYG editor. In: Aspinall, D., Lüth, C. (eds.) User Interfaces for Theorem Provers (UITP 2005), pp. 16–39 (2005)
3. Bartle, R.G., Sherbert, D.: Introduction to Real Analysis, 2nd edn. Wiley, Chichester (1982)
4. de Bruijn, N.G.: The mathematical vernacular, a language for mathematics with typed sets. In: Nederpelt, et al. (eds.) [9], pp. 865–935.
5. Hilbert, D.: Die Grundlegung der elementaren Zahlenlehre. Mathematische Annalen 104, 485–494 (1930)