Uniformization of Linear Arrays. - N. J. Fine; Ronald Harrop (J. Symb. Log., 1957)

Concerning Formulas of the Types A ->B V C, A -< (Ex)B(x). - Ronald Harrop (J. Symb. Log., 1960)

Some Structure Results for Propositional Calculi. - Ronald Harrop (J. Symb. Log., 1965)

Meeting of the Association for Symbolic Logic Seattle 1973. - Anne C. Morel; Ronald Harrop; Miriam Lucian; David Pincus (J. Symb. Log., 1974)

Scatter segmentation in dynamic SPECT images using principal component analysis. - Klaus D. Tönnies; Anna Celler; Stephan Blinder; Torsten Möller; Ronald Harrop (Image Processing, 2003)