A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math, vol.442, pp.19-62, 1993.

G. Edward and . Belaga, Reflecting on the 3x +1 Mystery. Outline of a Scenario -Improbable or Realistic ? Preprint, 1993.

J. P. Jones and Y. V. Matijasevic, 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

E. Donald and . Knuth, The art of computer programming: Fundamental algorithms. Second printing, 1969.

C. Jeffrey and . Lagarias, The 3x+1 Problem and Its Generalizations, Amer. Math. Monthly, vol.92, pp.3-23, 1985.

C. Jeffrey and . Lagarias, The Set of Rational Cycles for the 3x+1 Problem, Acta Arith, vol.56, pp.33-53, 1990.

S. Yu and . Maslov, The representation of recursively enumerable sets by local calculi. (Russian) Trudy Mat, Inst. Steklov, vol.93, pp.43-49, 1967.

T. Russian, . Mat, and . Inst, Steklov 93 Translated in, Problems in the Constructive Trend in Mathematics. IV, Proceedings of the Steklov Institute of mathematics, pp.50-88, 1967.

R. Keith and . Matthews, The Generalized 3x+1 Mapping, Preprint, pp.1-22, 1999.

R. I. Soare, Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets, 1987.

J. Günther and . Wirsching, The Dynamical System Generated by the 3n+1 Function, 1998.