Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis. - Catia M. Angelo; Diederik Verkest; Luc J. M. Claesen; Hugo De Man (TPHOLs, 1991)

The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL. - Catia M. Angelo; Luc J. M. Claesen; Hugo De Man (TPHOLs, 1992)

Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL. - Catia M. Angelo; Luc J. M. Claesen; Hugo De Man (HUG, 1993)

On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. - Catia M. Angelo; Diederik Verkest; Luc J. M. Claesen; Hugo De Man (Formal Methods Syst. Des., 1993)

Reasoning About a Class of Linear Systems of Equations in HOL. - Catia M. Angelo; Luc J. M. Claesen; Hugo De Man (TPHOLs, 1994)

Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. - Catia M. Angelo; Luc J. M. Claesen; Hugo De Man (Formal Methods Syst. Des., 1994)