Logic synthesis and optimization - Sasao, Tsutomu, (The Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing, 1993)