Currents in the theory of computing - Aho, Alfred V. (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1973)