1. The present status of automatic translation of languages;Bar-Hillel,1960
2. Bazilevsky, J., Questions in the theory of temporal logical functions (Questions in the Theory of Logical Machinestranslation of Voprosi Teoria Matematicheskikh Mashin, a volume of papers in Russian) 1958
3. Regular Canonical Systems and Finite Automa, Dept. of Philosophy, Tech. Report No. 03105, 2794–7-T.;Büchi,1959
4. Weak second-order arithmetic and finite automata.;Büchi;Z. math. Logik u. Grundlagen Math.,1960