Formal Semantics for VHDL | Publicación