Synthesis and optimization of digital circuits - Micheli, Giovanni De (Tata McGraw-Hill, 2003)