T. Bell, F. Rosamond, and N. Casey, Computer science unplugged and related projects in math and computer science popularization, pp.398-456, 2012.

, Berkley: Snap!, 2011.

H. L. Bodlaender, R. Downey, and F. V. Fomin, The Multivariate Algorithmic Revolution and Beyond -Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.7370, 2012.

J. Cassaigne, V. Halava, T. Harju, and F. Nicolas, Tighter undecidability bounds for matrix mortality, zero-in-the-corner problems, and more, 2014.

F. Cohen, Computer viruses, Comput. Secur, vol.6, issue.1, pp.90122-90124, 1987.

Y. V. Matiyasevich, Hilbert's Tenth Problem, 1993.

H. G. Rice, Classes of recursively enumerable sets and their decision problems, Transactions of the American Mathematical Society, vol.74, issue.2, pp.358-366, 1953.

R. M. Robinson, Undecidability and nonperiodicity for tilings of the plane, Inventiones mathematicae, vol.12, issue.3, pp.177-209, 1971.

A. M. Turing, :. Machinery, . Intelligence, and L. Mind, , pp.433-460, 1950.

A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol.2, issue.42, pp.230-265, 1936.