Introduction to languges and the theory of computation - Martin,John C. (New Delhi Tata McGraw- Hill, 2011)
Keywords: Computable functions; Sequential machine theory