Logic Synthesis and Verification - Hassoun, Soha; Sasao, Tsutomu (Springer US, 2002)