Logic Synthesis and Verification Algorithms e-bokEngelsk, 2005