A refinement calculus for VHDL | Publicación