The Application of Formal Methods to the Assessment of High Integrity Software. - Robin E. Bloomfield; Peter K. D. Froome (IEEE Trans. Software Eng., 1986)

The role of mathematically formal methods in the development and assessment of safety-critical systems. - Peter K. D. Froome; Brian Monahan (Microprocess. Microsystems, 1988)

MURAL and SPECBOX. - Richard C. Moore; Peter K. D. Froome (VDM Europe (1), 1991)

The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story. - Tim Clement; Ian Cottam; Peter K. D. Froome; Claire Jones (SAFECOMP, 1999)

Independent Safety Assessment of Safety Arguments. - Peter K. D. Froome (SSS, 2005)