Computation and automata
1985 • 300 pages