Dyson Verena H., Jones James P., and Shepherdson John C.. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60.Jones James P.. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571.Jones J. P. and Matijasevič Ju. V.. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by Stern J., Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177.Jones J. P. and M