1. B. A. Trakhtenbrot, “Algorithms and Automatic Computing Machines,” D. C. Heath and Company, Lexington, Massachusetts (1963).
2. A. M. Turing, On computable numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc. 2–42, 230–65 (1936); A correction, Proc. London Math. Soc. 43, 544–546 (1937).
3. N. Chomsky, Three models for the description of language, IRT Trans. Inf. Theory IT-2 (3), 113–124 (1956).
4. N. Chomsky, Formal properties of grammars, in “Handbook of Mathematical Psychology” (D. Luce, R. Bush, and E. Galanter, eds.), Wiley, New York (1963), Vol. II, pp. 323–418.
5. N. Chomsky, On certain formal properties of grammars, Information and Control 2, 137–167 (1959).