Goldschlag, David ``A Formal Model of Several Fundamental VHDL
Concepts,'' Proc. of COMPASS, '94, IEEE Press, 1994. 
<P>