Foundations of computer science from data manipulation of theory of computation - Forouzan, Behrouz A. (Thomson Learning, 2003)