Kunz - Reasoning in Boolean Networks Logic Synthesis and Verificatio - X555z

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing

Synthesis: Legal Reading, Reasoning, and Writing, Schmedemann, Deborah A.,Kunz,

Synthesis: Legal Reading, Reasoning, and Writing (Aspen Coursebook) by Kunz

Gulati - Advanced Techniques in Logic Synthesis Optimizations and App - X555z

Brown - Boolean Reasoning The Logic of Boolean Equations - New paper - X555z

Brown - Boolean Reasoning The Logic of Boolean Equations - New hardb - X555z

Vhdl For Logic Synthesis Second Edition, Rushton, 1998