Synthesis and optimization of digital circuits. - Micheli, Giovanni de (McGraw-Hill, Inc., 1994)