1. On formal properties of simple phrase structure grammars;Bar-Hillel;Z. Phonetik Sprachwissen. Kommunikationsforsch.,1961
2. Regular Canonical Systems;Büchi;Arch. Math. Logik Grundlagenforsch.,1964
3. Context-free Grammars and Pushdown Storage;Chomsky,1962
4. Computability and Unsolvability;Davis,1958
5. The Mathematical Theory of Context Free Languages;Ginsburg,1966