Logarithmic forms and group varieties, J. Reine Angew. Math, vol.442, pp.19-62, 1993. ,
Reflecting on the 3x +1 Mystery. Outline of a Scenario -Improbable or Realistic ? Preprint, 1993. ,
Proof of Recursive Unsolvability of Hilbert's Tenth Problem, The American Mathematical Monthly, vol.98, issue.8, pp.689-709, 1991. ,
DOI : 10.2307/2324421
The art of computer programming: Fundamental algorithms. Second printing, 1969. ,
The 3x+1 Problem and Its Generalizations, Amer. Math. Monthly, vol.92, pp.3-23, 1985. ,
The Set of Rational Cycles for the 3x+1 Problem, Acta Arith, vol.56, pp.33-53, 1990. ,
The representation of recursively enumerable sets by local calculi. (Russian) Trudy Mat, Inst. Steklov, vol.93, pp.43-49, 1967. ,
Steklov 93 Translated in, Problems in the Constructive Trend in Mathematics. IV, Proceedings of the Steklov Institute of mathematics, pp.50-88, 1967. ,
The Generalized 3x+1 Mapping, Preprint, pp.1-22, 1999. ,
Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets, 1987. ,
The Dynamical System Generated by the 3n+1 Function, 1998. ,