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