Theories as Categories. - Michael P. Fourman; Steven Vickers (CTCS, 1985)

Compaction of Symbolic Layout Using Genetic Algorithms. - Michael P. Fourman (ICGA, 1985)

Proof and synthesis. - Michael P. Fourman; W. J. Palmer; R. M. Zimmer (ICCD, 1988)

Integration of Formal Methods with System Design. - Eleanor M. Mayger; Michael P. Fourman (VLSI, 1991)

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)

A Proposed Categorial Semantics for Pure ML. - Wesley Phoa; Michael P. Fourman (ICALP, 1992)

The CAD Tool of the Future. - Michael P. Fourman (IFIP Congress (1), 1992)

Datatypes in L2. - Nick Chapman; Simon Finn; Michael P. Fourman (TPHOLs, 1994)

A Proposed Categorical Semantics for ML Modules. - Michael P. Fourman; Hayo Thielecke (Category Theory and Computer Science, 1995)

Proof and design. - Michael P. Fourman (NATO ASI DPD, 1996)

Partial Functions in a Total Setting. - Simon Finn; Michael P. Fourman; John Longley (J. Autom. Reason., 1997)

Propositional Reasoning. - Michael P. Fourman (TACAS, 2001)

Logics for Action. - Michael P. Fourman (IICAI, 2007)

Hitting Buneman Circles. - Michael P. Fourman (In Search of Elegance in the Theory and Practice of Computation, 2013)

Continuous Truth II: Reflections. - Michael P. Fourman (WoLLIC, 2013)

Measuring the Broadband Access Divide. - Michael Paul Fourman (ICTD, 2016)

RemIX: A Distributed Internet Exchange for Remote and Rural Networks. - William Waites; James Sweet; Roger Baig; Peter Buneman; Marwan Fayed; Gordon Hughes; Michael Fourman; Richard Simmons (GAIA@SIGCOMM, 2016)

Introduction to Computation - Haskell, Logic and Automata - Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler (Springer, 2021)