Generating Code From Abstract Vhdl Models - Basics, Semantics, Algorithms door Mohamed Abdel Maksoud