"Clean formal semantics for VHDL."

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics