Practical Experience of Formal Specification: A Programming Interface for Communications. - John Wordsworth (ESEC, 1989)

Obtaining Structural Metrics of Z Specifications for Systems Development. - John Bainbridge; Robin W. Whitty; John Wordsworth (Z User Workshop, 1990)

The CICS Application Programming Interface Definition. - John Wordsworth (Z User Workshop, 1990)

Software development with Z - a practical approach to formal methods in software engineering. - John Wordsworth (Addison-Wesley, 1992)

Formal methods and product documentation. - John Wordsworth (Formal Methods in Systems Engineering, 1993)

Getting the best from formal methods. - John Wordsworth (Inf. Softw. Technol., 1999)

Dynamics on Networks of Cluster States for Globally Coupled Phase Oscillators. - Peter Ashwin; Gábor Orosz; John Wordsworth; Stuart Townley (SIAM J. Appl. Dyn. Syst., 2007)