Abstraction and refinement of process actions. - David Streader (2000)

Comparison of Data and Process Refinement. - Steve Reeves; David Streader (ICFEM, 2003)

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. - Robi Malik; David Streader; Steve Reeves (ATVA, 2004)

Atomic Components. - Steve Reeves; David Streader (ICTAC, 2004)

Stepwise Refinement of Processes. - Steve Reeves; David Streader (FACS, 2005)

Constructing Programs or Processes. - Steve Reeves; David Streader (J. Univers. Comput. Sci., 2005)

Conflicts and Fair Testing. - Robi Malik; David Streader; Steve Reeves (Int. J. Found. Comput. Sci., 2006)

Modular Synthesis of Discrete Controllers. - Petra Malik; Robi Malik; David Streader; Steve Reeves (ICECCS, 2007)

Feature Refinement. - Steve Reeves; David Streader (SEFM, 2007)

Generic Tools via General Refinement. - Steve Reeves; David Streader (TTSS, 2007)

General Refinement, Part One: Interfaces, Determinism and Special Refinement. - Steve Reeves; David Streader (Refine@FM, 2008)

General Refinement, Part Two: Flexible Refinement. - Steve Reeves; David Streader (Refine@FM, 2008)

Data refinement and singleton failures refinement are not equivalent. - Steve Reeves; David Streader (Formal Aspects Comput., 2008)

A Robust Semantics Hides Fewer Errors. - Steve Reeves; David Streader (FM, 2009)

Guarded Operations, Refinement and Simulation. - Steve Reeves; David Streader (REFINE@FMWeek, 2009)

Anonymous Mobile Service Collaboration: Quality of Service. - Annika Hinze; Michael Rinck; David Streader (From Active Data Management to Event-Based Systems and More, 2010)

Refinement for Probabilistic Systems with Nondeterminism - Steve Reeves; David Streader (Refine@FM, 2011)

EvolvingWeb-Based Test Automation into Agile Business Specifications. - Rick Mugridge; Mark Utting; David Streader (Future Internet, 2011)

Contexts, refinement and determinism. - Steve Reeves; David Streader (Sci. Comput. Program., 2011)

Global and local knowledge in SDN. - Matt Stevens; Bryan C. K. Ng; David Streader; Ian Welch (ITNAC, 2015)

Towards SDN Network Proofs - Taming a Complex System. - Matt Stevens; Bryan C. K. Ng; David Streader; Ian Welch (ICECCS, 2016)

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. - James Noble 001; David Streader; Isaac Oscar Gariano; Miniruwani Samarakoon (NFM, 2022)