Logic Synthesis Book