1. Aho, A., Hopcroft, J., & Ullman, J. (1982). Data structures and algorithms. Boston: Addison-Wesley.
2. Buechner, J. (2008). Gödel, Putnam, and functionalism. Cambridge: MIT Press.
3. Buechner, J. (2011). Not even computing machines can follow rules: Kripke’s critique of functionalism. In A. Berger (Ed.), Saul Kripke. Cambridge: Cambridge University Press.
4. Davis, P., & Cerutti, E. (1969). Formac meets Pappus: Some observations on elementary analytic geometry by computer. American Mathematical Monthly, 76, 895–905.
5. Dean, W. (2007). What algorithms could not be. Ph.D. dissertation. Rutgers University.