S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)
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)
S. Autexier, and T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, volume 2309 of Lecture Notes in Computer Science, page 2--17. Springer Verlag, London, (2002)
T. Mossakowski, P. Hoffman, S. Autexier, and D. Hutter. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
T. Mossakowski, S. Autexier, and D. Hutter. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 269--283. Springer Verlag, London, (2001)
R. Drechsler, S. Autexier, and C. Lüth. Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, chapter 1, Springer, Cham, (2017)
S. Autexier, S. Merz, L. van der Torre, R. Wilhelm, and P. Wolper. Trustworthy Software, volume 3 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)