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