Logic synthesis and verification - Hassoun, Soha; Sasao, Tsutomu , (The Kluwer international series in engineering and computer science, 2002)