Bishop Brock Warren A. Hunt Jr. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. 71-104 1997 11 Formal Methods in System Design 1 db/journals/fmsd/fmsd11.html#BrockH97