W. Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen, 1987