The Synthesis Approach To Digital System Design by Petra Michel