Higher-Level Specification and Verification with BDDs. - Alan J. Hu; David L. Dill; Andreas J. Drexler; C. Han Yang (CAV, 1992)

Protocol Verification as a Hardware Design Aid. - David L. Dill; Andreas J. Drexler; Alan J. Hu; C. Han Yang (ICCD, 1992)