An Algebraic Approach to the VERILOG Programming | Publicación