Logic Minimization Algorithms for VLSI Synthesisby Brayton, Robert K.; Hachtel, Gary D.; McMullen, C.Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less