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