Mikroarchitekturen und Mikroprogrammierung. Formale Beschreibung und Optimierung - Bode, Arnolt (Informatik - Fachberichte, 1984)