Introduction to the theory of computation - Sipser, Michael (Australia: Thomson/Course Technology, 2006)
FOCIT
Keywords: Sequential machine theory; Recursive functions; Formal languages