Theory of computation - Moret, Bernard M (Pearson Education Pvt. Ltd., 1998)