Hopcroft, John E. Introduction to automata theory languages and computation / Hopcroft, John E. LC Class. No.: QA 267 H791 1979