Introduction to automation theory, languages and computation - Hope, Anthony (New Delhi)