Logic synthesis and optimization - 笹尾, 勤; International Symposium on Logic Synthesis and Microprocessor Architecture (The Kluwer international series in engineering and computer science, 1993)