Theory of Computation - Tourlakis, George J. (Wiley)