1. M. Alavi and D. Leidner. Knowledge Management and Knowledge ManagementSystems: Conceptual Foundation and an Agenda for Research. MIS Quarterly, pages107 – 136, March 2001.
2. John R. Anderson. Kognitive Psychologie. Spektrum Akademischer Verlag, 3rd edition, March 2001.
3. A. Asperti, I. Padovani, C. Sacerdoti, and I. Schena. HELM and the SemanticWeb. In R.J. Boulton and P.B. Jackson, editors, Proceedings of the Theorem Proving in Higher Order Logics, TPHOLs 2001, volume 2152, Edinburgh, Scotland, UK, September 2001. Springer. Lect. Notes in Computer Science.
4. A. Asperti and S. Zacchiroli. SearchingMathematics on theWeb: State of the Art and Future Developments. In Proceedings of the Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm, AMS - SM M Special Session, Houston, 2004.
5. J. Baur. Syntax und Semantik mathematischer Texte. PhD thesis, Universität des Saarlandes, FB Computerlinguistik., November 1999. Master’s thesis.