L. Schröder, and T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science, page 261--277. Springer; Berlin; http://www.springer.de, (2003)
K. Lüttich, B. Krieg-Brückner, and T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, and T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)
L. Schröder, T. Mossakowski, and A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), volume 2076 of Lecture Notes in Computer Science, page 993-1004. Springer; Berlin; http://www.springer.de, (2001)
M. Roggenbach, L. Schröder, and T. Mossakowski. CASL reference manual, volume 2960 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)
M. Roggenbach, L. Schröder, and T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)
K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)
K. Lüttich, and T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, page 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)