The Synthesis approach to digital system design by Petra Michel | Menrva Books | MenrvaBooks