1. Aaronson, S. (2013). Quantum computing since democritus. Cambridge: Cambridge University Press.
2. Arora, S., & Barak, B. (2009). Computational complexity: A modern approach. New York: Cambridge University Press.
3. Blum, L. (2004). Computing over the reals: Where turing meets Newton. Notices of the AMS, 51(9), 1024–1034.
4. Boolos, G., & Jeffrey, R. (1989). Computability and logic (3rd ed.). New York: Cambridge University Press.
5. Braverman, M., & Cook, S. (2006). Computing over the Reals: Foundations for scientific computing. Notices of the AMS, 53(3), 318–329.