Type Interference in Stack Based Languages. - Bill Stoddart; Peter J. Knaggs (Formal Aspects Comput., 1993)

An Operational Semantics for ZCCS. - Andy Galloway; Bill Stoddart (ICFEM, 1997)

Integrated formal methods. - Andy Galloway; Bill Stoddart (INFORSID, 1997)

An Introduction to the Event Calculus. - Bill Stoddart (ZUM, 1997)

Abstract State Machines: Designing Distributed Systems with State Machines and B. - Bill Stoddart; Steve Dunne; Andy Galloway; Richard Shore (B, 1998)

The Specification and Refinement of an Environmental Model. - Bill Stoddart (ZUM, 1998)

The Refinement of Event Calculus Models. - Bill Stoddart; Steve Dunne (IFM, 1999)

Undefined Expressions and Logic in Z and B. - Bill Stoddart; Steve Dunne; Andy Galloway (Formal Methods Syst. Des., 1999)

An Execution Architecture for GSL. - Bill Stoddart (ZB, 2000)

The event based modelling of systems. - Bill Stoddart (2001)

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. - Antonis D. Papatsaras; Bill Stoddart (ZB, 2002)

Expression Transformers in B-GSL. - Bill Stoddart; Frank Zeyda (ZB, 2003)

A Prospective-Value Semantics for the GSL. - Frank Zeyda; Bill Stoddart; Steve Dunne (ZB, 2005)

A Design-Based Model of Reversible Computation. - Bill Stoddart; Frank Zeyda; Robert Lynas (UTP, 2006)

Modelling and Proof Analysis of Interrupt Driven Scheduling. - Bill Stoddart; Dominique Cansell; Frank Zeyda (B, 2007)

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. - Bill Stoddart; Robert Lynas; Frank Zeyda (RC@ETAPS, 2009)

Preference and Non-deterministic Choice. - Bill Stoddart; Frank Zeyda; Steve Dunne (ICTAC, 2010)

Probabilistic Choice, Reversibility, Loops, and Miracles. - Bill Stoddart; Pete Bell (UTP, 2010)

A unification of probabilistic choice within a design-based model of reversible computation. - Bill Stoddart; Frank Zeyda (Formal Aspects Comput., 2013)

The Halting Paradox. - Bill Stoddart (CoRR, 2019)

Bunch theory, applications, axioms and models. - Bill Stoddart; Frank Zeyda; Steve Dunne (CoRR, 2019)

bGSL: An imperative language for specification and refinement of backtracking programs. - Steve Dunne; João F. Ferreira 001; Alexandra Mendes; Campbell Ritchie; Bill Stoddart; Frank Zeyda (J. Log. Algebraic Methods Program., 2023)

Bunch theory: Axioms, logic, applications and model. - Bill Stoddart; Steve Dunne; Chunyan Mu; Frank Zeyda (J. Log. Algebraic Methods Program., 2024)