@Book{HU79, Author = "Hopcroft, J. and Ullman, J.", Year = "1979", Title = "{Introduction to Automata Theory, Languages and Computation}", Publisher = "Addison-Wesley", Comment = "" }