Logic synthesis - Devadas, Srinivas (McGraw-Hill, 1994)