1. Lect Notes Comput Sci;S. Autexier,2000
2. Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, 2000, AKPeters.
3. Objectives of Open-Math;A. J. Abbot,1996
4. Alessandro Armando and Daniele Zini. Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. In A. Poggi, editor, AI*IA-TABOO Workshop ‘From Objects to Agents: Evolutionary Trends of Software Systems’, 2000.
5. Judith Baur. Syntax und semantik mathematisher texte—ein prototyp. Master Thesis, Saarland University, 1999.