1. J. R. Büchi, C. C. Elgot and J. B. Wright, The non-existence of certain algorithms of finite automata theory (Abstract), Notices Amer. Math. Soc. vol. 5 (1958) p. 98.
2. A. Church, Application of recursive arithmetic in the theory of computers and automata, Lecture Notes, Summer Conference, University of Michigan, June, 1958.
3. Realization of events by logical nets;Copi, Irving M.;J. Assoc. Comput. Mach.,1958
4. Quantifier elimination in a problem of logical design;Elgot, Calvin C.;Michigan Math. J.,1959
5. Representation of events in nerve nets and finite automata;Kleene, S. C.,1956