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)