Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung | lit.salon