A Logic of Sequentiality. - Martin Churchill; James Laird (CSL, 2010)

A Concrete Representation of Observational Equivalence for PCF - Martin Churchill; James Laird; Guy McCusker (CoRR, 2010)

Modular Semantics for Transition System Specifications with Negative Premises. - Martin Churchill; Peter D. Mosses; Mohammad Reza Mousavi 001 (CONCUR, 2013)

Modular Bisimulation Theory for Computations and Values. - Martin Churchill; Peter D. Mosses (FoSSaCS, 2013)

Imperative programs as proofs via game semantics. - Martin Churchill; Jim Laird; Guy McCusker (Ann. Pure Appl. Log., 2013)

Reusable components of semantic specifications. - Martin Churchill; Peter D. Mosses; Paolo Torrini (MODULARITY, 2014)

Reusable Components of Semantic Specifications. - Martin Churchill; Peter D. Mosses; Neil Sculthorpe; Paolo Torrini (LNCS Trans. Aspect Oriented Softw. Dev., 2015)