@inproceedings {1059,
	title = {Toward a Formal Semantics of IEEE Std. VHDL 1076},
	booktitle = {Euro-DAC{\textquoteright}93 European Design Automation Conference with Euro-VHDL{\textquoteright}93},
	year = {1993},
	month = {09/1993},
	pages = {526-531},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {CCH Hamburg, Germany},
	isbn = {0-8186-4350-1},
	author = {S. Olcoz and J.M. Colom}
}

