Introduction yo yhe theory of computation - Sipser, Michael (Delhi: Cengage Learning India Pvt. Ltd., 2007)
Keywords: Automata; Decidability; Math; Reducibility