1. S. Amarel, “Representations and Modeling in Problems of Program Formation,”Technical Report No. 4, Department of Computer Science, Rutgers University, July 1970.
2. Theories of Abstract Automata;Arbib,1969
3. A. W. Biermann, “A Grammatical Inference Program for Linear Languages,” Fourth Hawaii International Conference on System Sciences, Honolulu, Hawaii, Jan. 12–14, 1971.
4. “On the Synthesis of Finite-State Acceptors,”;Biermann,1970
5. “On Certain Formal Properties of Grammars,”;Chomsky;Information and Control,1959