Source Language Debugging on a Small Computer. - R. H. Pierce (Comput. J., 1974)

A Transformation-Directed Compiling System. - R. H. Pierce; J. Rowell (Comput. J., 1977)

Ada in the ECLIPLSE project support environment. - R. H. Pierce (SIGAda, 1985)

On the use of passive tasks in Ada. - R. H. Pierce (IRTAW, 1987)

Reverse engineering Ada into HOOD. - R. H. Pierce; S. D. Bluck (TRI-Ada, 1990)

Object-Oriented Design of an Air-Defence Simulator. - R. H. Pierce; I. Marshall; S. J. Goodenough (Ada-Europe, 1993)

Tool Support for High Integrity Ada Software. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Ada-Europe, 1994)

Accessible Formal Method Support for PLC Software Development. - John A. McDermid; R. H. Pierce (SAFECOMP, 1995)

High integrity software development: process and tool issues. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Microprocess. Microsystems, 1995)

Capturing and Verifying Performance Requirements for Hard Real Time Systems. - R. H. Pierce; Sandra Ayache; Roger Ward; John Stevens; Helen Clifton; J. Galle (Ada-Europe, 1997)

The Safety Management of Data-Driven Safety-Related Systems. - A. G. Faulkner; P. A. Bennett; R. H. Pierce; I. H. A. Johnston; N. Storey (SAFECOMP, 2000)