Logic synthesis and verifications algorithms - Hochtel,Gray D. (Springer, 2006)