Introduction to the theory of computation - Sipser, Michael (2013)
Keywords: GEN