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