1. Context-free grammars and pushdown storage;Chomsky,1962
2. Formal properties of grammars;Chomsky,1963
3. Computability and Unsolvability;Davis,1958
4. The Theory and Applications of Pushdown-Store Machines;Evey,1963
5. On computability by certain classes of restricted Turing machines;Fischer,1963