Formal semantics for VHDL - Delgado Kloos, Carlos; Breuer, Peter T. (Kluwer Academic Publishers, 1995)