Arndt Bode: Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung. Informatik-Fachberichte 82, Springer 1984, ISBN 3-540-13380-1