TPTP Reference: HU79


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