Boeken over Generating Code From Abstract Vhdl Models - Basics%2C Semantics%2C Algorithms