An algebra for logic strength simulation. - Peter Flake; Philip Moorby; Gerry Musgrave (DAC, 1983)

The need for a core method DIALOG - Linking formal proof to the design environment. - Eleanor M. Mayger; M. D. Francis; R. L. Harris; Gerry Musgrave; Michael P. Fourman (Microprocessing and Microprogramming, 1991)

Formal Methods For Design. - Gerry Musgrave (IFIP Congress (1), 1992)

A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits. - Alaa F. Alani; Gerry Musgrave; Anthony P. Ambler (ITC, 1992)

Formal Tools in Tri-State Design in Busses. - Roger B. Hughes; M. D. Francis; Simon Finn; Gerry Musgrave (TPHOLs, 1992)

Design-Flow Graph Partitioning. - Roger B. Hughes; Gerry Musgrave (TPHOLs, 1992)

Formal Methods and Their Future. - Gerry Musgrave; Simon Finn; M. D. Francis; R. Harris; Roger B. Hughes (EUROCAST, 1993)

Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. - Roger B. Hughes; Gerry Musgrave (FPL, 1994)

Design-Flow and Synthesis for ASICs: A Case Study. - Massimo Bombana; Patrizia Cavalloro; Salvatore Conigliaro; Roger B. Hughes; Gerry Musgrave; Giuseppe Zaza (DAC, 1995)

Formal Design Techniques - Theory and Engineering Reality. - Chryssa Dislis; Gerry Musgrave; Roger B. Hughes (Asian Test Symposium, 1998)

User Experience with High Level Formal Verification (Panel). - Randal E. Bryant; Gerry Musgrave (DAC, 1998)