A Simpler Semantics for Z. - Paul H. B. Gardiner; P. J. Lupton; Jim Woodcock 001 (Z User Workshop, 1990)

Data Refinement by Calculation. - Carroll Morgan; Paul H. B. Gardiner (Acta Informatica, 1990)

Data Refinement of Predicate Transformers. - Paul H. B. Gardiner; Carroll Morgan (Theor. Comput. Sci., 1991)

Reasoning Algebraically about Recursion. - Paul H. B. Gardiner; Paritosh K. Pandya (Sci. Comput. Program., 1992)

A Single Complete Rule for Data Refinement. - Paul H. B. Gardiner; Carroll Morgan (Formal Aspects Comput., 1993)

The Formal Specification in Z of Defence Standard 00-56. - Jim Woodcock 001; Paul H. B. Gardiner; J. R. Hulance (Z User Workshop, 1994)

An Algebraic Construction of Predicate Transformers. - Paul H. B. Gardiner; Clare E. Martin; Oege de Moor (Sci. Comput. Program., 1994)

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. - A. W. Roscoe 001; Paul H. B. Gardiner; Michael Goldsmith; J. R. Hulance; D. M. Jackson; J. Bryan Scattergood (TACAS, 1995)

Algebraic Proofs of Consistency and Completeness. - Paul H. B. Gardiner (Theor. Comput. Sci., 1995)

A Tactic Calculus-Abridged Version. - Andrew P. Martin; Paul H. B. Gardiner; Jim Woodcock 001 (Formal Aspects Comput., 1996)

Structured Development of a Virtual Shared Memory System. - Karen Seidel 002; Paul H. B. Gardiner (Formal Aspects Comput., 1996)

A Methodology for Model-Checking Ad-hoc Networks. - Irfan Zakiuddin; Michael Goldsmith; Paul Whittaker; Paul H. B. Gardiner (SPIN, 2003)

Power simulation and its relation to traces and failures refinement. - Paul H. B. Gardiner (Theor. Comput. Sci., 2003)