Stephen A. Cook: Complexity Classes, Propositional Proof Systems, and Formal Theories. LICS 2002: 311