An Algebraic Approach to the VERILOG Programming.

Jifeng He An Algebraic Approach to the VERILOG Programming. 65-80 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=65 2002 conf/unu/2002 10th Anniversary Colloquium of UNU/IIST db/conf/unu/unu2002.html#He02