Logic Synthesis and Verification (2001)

by S Hassoun, editor