1. Abramsky S, Jung (1994) Domain theory. In: Abramsky S, et al (ed), Handbook of logic in computer science, vol 3. Oxford University Press, Oxford, pp 1–168
2. Arora S, Barak B (2009) Computational complexity: a modern approach. Cambridge University Press, Cambridge
3. Calude C (1988) Theories of computational complexity, vol 35. Annals of Discrete Mathematics. North-Holland, Amsterdam
4. Church A (1936) An unsolvable problem of elementary number theory. Am J Math 58:345–363. Reprinted in [40]
5. Gandy R (1988) The confluence of ideas in 1936. In: Herken R (ed) A half-century survey on The Universal Turing Machine. Springer, Berlin, pp 55–111