1. On computable numbers, with an application to the Entscheidungsproblem.;Turing;Proceedings of the London Mathematical Society, 2nd series,1936
2. Recursion theory and Dedekind cuts;Soare;Transactions of the American Mathematical Society,1969
3. Process complexity and effective random tests