1. McGraw-Hill Series in Information Processing and Computers;Davis, Martin,1958
2. Extensions and corollaries of recent work on Hilbert’s Tenth Problem;Davis, Martin;Illinois J. Math.,1963
3. \bysame, One equation to rule them all, Memorandum RM-5494-PR, The RAND Corporation, Santa Monica, Calif., 1968.
4. The decision problem for exponential diophantine equations;Davis, Martin;Ann. of Math. (2),1961
5. An unsolvable problem in number theory;Putnam, Hilary;J. Symbolic Logic,1960