S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
T. Mossakowski, C. Maeder, and K. Lüttich. Maya: Maintaining Structured Developments, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
K. Hoffmann, F. Parisi-Presicce, and T. Mossakowski. Workshop on Petri Nets and Graph Transformations, volume 127 of Electronic Notes in Theoretical Computer Science, page 87-105. Elsevier Science; http://www.elsevier.nl/, (2005)
S. Wölfl, and T. Mossakowski. Conference on Spatial Information Theory, volume 3693 of Lecture Notes in Computer Science, page 200-217. Springer; Berlin, (2005)
T. Mossakowski. Semantic Interoperability and Integration, 04391, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, (2005)
T. Mossakowski, D. Sannella, and A. Tarlecki. WADT 2004, volume 3423 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, (2005)