Mikroarchitekturen und Mikroprogrammierung formale Beschreibung und Optimierung - Bode, Arndt 1948- (Springer, 1984)