Logic Minimization Algorithms for VLSI Synthesis - Brayton, Robert K.; Hachtel, Gary D. (Kluwer Academic Publishers, 1984)
Βιβλιογραφία: σσ.174-190