Logic Synthesis and Optimization - Sasao, Tsutomu (Springer US, 1993)