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 Tools in Tri-State Design in Busses. - Roger B. Hughes; M. D. Francis; Simon Finn; Gerry Musgrave (TPHOLs, 1992)

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

Subgraph-avoiding minimum decycling sets and k-conversion sets in graphs. - M. D. Francis; Christina M. Mynhardt; Jane L. Wodlinger (Australas. J Comb., 2019)