Formal semantics for VHDL (Kluwer, 1995)