Theory of computation - Mahesh, Kavi (New Delhi Willey, 2012)