Logic and Architecture Synthesis by Fredy Perlman