Formale Methoden und Denotational Design: Semantik, Zeitreihen, Agda und Refactoring, ergänzt durch algebraisch getriebene Gestaltung.