Theory of computation - Moret, Bernard M (Addison Wesley, 1998)