Karen C. Davis: A Denotational Definition of the VHDL Simulation Kernel. CHDL 1993: 523-535