Currents in the Theory of Computing - Aho, Alfred V (Prentice-Hall, 1973)