Logic synthesis - DevadaslhSrinivas (McGraw-Hill series on computer engineering)