1. On computable numbers, with an application to the Entscheidungsproblem;Turing;Proc. Lond. Math. Soc.,1936
2. Interactive computing does not supersede Church's thesis;Ekdahl,1999
3. An unsolvable problem of elementary number theory;Church;Am. J. Math.,1936
4. General recursive functions of natural numbers;Kleene;Am. J. Math.,1935