Proof-Aided Design of Verified Hardware. - Holger Busch; Gerd Venzl (DAC, 1991)

Transformational Design in a Theorem Prover. - Holger Busch (TPCD, 1992)

Unification Based Induction. - Holger Busch (TPHOLs, 1992)

A Reduced Instruction Set Proof Environment. - Holger Busch (TPCD, 1994)

First-Order Automation for Higher-Order-Logic Theorem Proving. - Holger Busch (TPHOLs, 1994)

Rule-Based Induction. - Holger Busch (Formal Methods Syst. Des., 1994)

A Practical Method for Reasoning about Distributed Systems in a Theorem Prover. - Holger Busch (TPHOLs, 1995)

Proving Liveness of Fair Transition Systems. - Holger Busch (TPHOLs, 1996)