1. Bibliography;Engineering a Compiler;2023
2. Overview of Compilation;Engineering a Compiler;2023
3. Origins and Development of Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
4. Introduction to R;An Introduction to Data Analysis in R;2020
5. Einleitung;Automationslösungen in der analytischen Messtechnik;2019-11-13