An HOL Theory for Logic States with Indeterminate Strengths. - J. W. Gambles; Phillip J. Windley (TPHOLs, 1991)

Reasoning about the VHDL Standard Logic Package Signal Data Type. - J. W. Gambles; Phillip J. Windley (CHDL, 1993)