The Synthesis Approach to Digital System Design (Kluwer International Series in Engineering and Computer Science, 170)