@book{ Solr-29367, title = {Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen}, series = {Informatik-Fachberichte ;}, author = {Damm, Werner.}, editor = {Damm, Werner.}, address = {Berlin, New York}, publisher = {Springer}, year = {1987}, pages = {327}, note = {Includes index}, note = {deutsch}, }