Sipser, Michael Introduction to the theory of computation - 2nd ed. - New Delhi Cengage 2006 Dewey Class. No.: 511.35 / T06 SIP