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