Bruce M. Kapron

• Logic, Automata, and Computational Complexity
• Logic, Automata, and Computational Complexity - the Works of Stephen A. Cook