Producing Z Specifications from Object-Oriented Analysis. - Jonathan Hammond (Z User Workshop, 1994)

The Value of Verification: Positive Experience of Industrial Proof. - Steve King 001; Jonathan Hammond; Roderick Chapman; Andy Pryor (World Congress on Formal Methods, 1999)

Is Proof More Cost-Effective Than Testing? - Steve King 001; Jonathan Hammond; Roderick Chapman; Andy Pryor (IEEE Trans. Software Eng., 2000)

Will It Work? - Jonathan Hammond; Rosamund Rawlings; Anthony Hall (RE, 2001)

ABZ Languages and Tools in Industrial-Scale Application. - Janet Barnes; Jonathan Hammond; Angela Wallenburg; Thomas Wilson (ABZ, 2018)