A. Bode: Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung, 1984