Serafín Olcoz, José Manuel Colom. Toward a formal semantics of IEEE Std. VHDL 1076. In Proceedings of the European Design Automation Conference 1993, EURO-DAC '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993. pages 526-531, IEEE Computer Society, 1993. [doi]
Abstract is missing.