1. On computable numbers with an application to the entscheidung problem;Turing;Proc. London Math. Soc., Ser. 2,1936
2. On computable numbers with an application to the entscheidung problem;Turing;Proc. London Math. Soc., Ser. 2,1937
3. An unsolvable program of elementary number theory;Church;Am. J. Math.,1936
4. On the computational complexity of algorithms;Hartmanis;Trans. Am. Math. Soc.,1965