Boeken over Generating Code From Abstract Vhdl Models - Basics, Semantics, Algorithms