K. Lüttich, T. Mossakowski, и B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), том 3423 из Lecture Notes in Computer Science, стр. 106-125. Springer; Berlin; http://www.springer.de, (2005)
T. Mossakowski, C. Maeder, и K. Lüttich. Maya: Maintaining Structured Developments, том 4180 из Lecture Notes in Artificial Intelligence, Springer, (2006)
K. Lüttich, B. Krieg-Brückner, и T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, стр. 109-119. (2004)
K. Lüttich, и T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), том 114 из Frontiers in Artificial Intelligence and Applications, стр. 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)