Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen - Molitor, Paul 1959-; Scholl, Christoph (Teubner, 1999)