1. Speed up theorems and incompleteness theorems;Arbib,1966
2. On the Inference of Turing Machines form Sample Computations;Biermann,1971
3. A Survey of Grammatical Inference;Bierman,1972
4. A machine-independent theory of the complexity of recursive functions;Blum;J. ACM,1967
5. On the size of machines;Blum;Information and Control,1967