1. Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980)
2. Cook, S.: Theories for complexity classes and their propositional translations. In: Complexity of computations and proofs, pp. 1–36 (2004)
3. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38, 173–198 (1931)
4. Lecture Notes in Computer Science;J. Hartmanis,1974
5. Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1998)