Theory of computation - Tourlakis, George J. (Wiley, 2012)