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