The Gateway
Glenn G. Thater
Introduction to the Theory of Computation, Second Edition
Michael Sipser
Onslaught
J. Robert King
Onslaught (1)
An introduction to logic programming through Prolog
Michael Spivey
The Lost Symbol: A Novel
Dan Brown