Introduction to Languages and The Theory of Computation - Martin (Boston: McGraw-Hill, 2004)
BCSCU
Keywords: Sequential machine theory; Computable theory