Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung - A. Bode - Häftad | Bokus