Untersuchungen zur Aufgabenverteilung für Logiksimulations-Maschinen. - Manfred Nikodem (1987)