Title: Formale Beschreibung von Rechnerarchitekturen und Programmsprachen