Theory of computation - Kakde, O.G (Laxmi Publications (P) Ltd, 2007)