Theory of computation - Puntambekar, A.A