Beiträge zum rechnergestützten Entwurf mikroprogrammierter Steuerwerke auf Registertransferebene. - Karsten Laubner (1993)