1. Theories of Abstract Automata.;Arbib,1969
2. Information Theory.;Ash,1966
3. The Main Features of CPL;Barron;Computer J.,1963
4. Proving Properties of Programs by Structural Introduction in Phrase Structure Grammars;Burstall;Computer J.,1969
5. Formal Properties of Grammars, in Handbook of Mathematical Psychology;Chomsky,1962