Formal description and applications assessment of a Solomon type parallel architecture. - Clive H. Pygott (1978)

CAMEO, an In-Store Relational Database Machine. - Clive H. Pygott (ICOD, 1983)

Assessing Complex Computer Based Systems using the Goal Structuring Notation. - Stephen P. Wilson; John A. McDermid; Clive H. Pygott; David J. Tombs (ICECCS, 1996)

Computer Based Support for Standards and Processes in Safety Critical Systems. - Stephen P. Wilson; John A. McDermid; P. M. Kirkham; Clive H. Pygott; David J. Tombs (SAFECOMP, 1997)

Justifying reliability claims for a fault-detecting parallel architecture. - Clive H. Pygott; Stephen P. Wilson (J. Syst. Archit., 1997)

Formalising C and C++ for Use in High Integrity Systems. - Colin M. O'Halloran; Clive H. Pygott (SSS, 2007)