Bishop Brock Warren A. Hunt Jr. William D. Young Introduction to a Formally Defined Hardware Description Language. 3-35 1992 conf/tpcd/1992 TPCD db/conf/tpcd/tpcd1992.html#BrockHY92