Arndt Bode Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung Informatik-Fachberichte 82 Springer 1984 3-540-13380-1 https://doi.org/10.1007/978-3-642-69701-2