The theory of computation - Moret, Bernard (Vidhyanagar Pearson)