Representability of recursively enumerable sets in formal theories. J.C. Shepherdson Archiv für mathematische Logik und Grundlagenforschung
On the factorisation of polynomials in a finite number of steps. A. Fröhlich; J.C. Shepherdson — 1955 Mathematische Zeitschrift
Variants of Robinson's essentially undecidable theory R. J.C. Shepherdson; J.P. Jones — 1983 Archiv für mathematische Logik und Grundlagenforschung