Martin Davis, Ron Sigal, and Elaine J. Weyuker

Davis, Sigal, and Weyuker provide the foundational, absolute authority on computability and formal language theory, essential for computer science students.