Logic Synthesis and Verification Algorithms heftetEngelsk, 2013