1. Bennett, J.H., On Spectra, Ph.D. Dissertation, Princeton(1962).
2. Quasi-real time languages;Book;Math. Systems Theory,1970
3. Börger, E., Note on bounded Diophantine representation of subrecursive sets, in Recursion Theory (Ithaca, New York 1982), Proc. Thirteenth Summer Research Institute her. Math Soc.
4. Alternation;Chandra;J. Assoc. Comp. Mach.,1981
5. Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution;Davis;Amer. Math. Soc. Proc. of Symposia in Pure Math.,1976