Logic And Computer Science by Anil Nerode, Steven Homer & Richard A. Platek