1. On single vs. triple-address computing machines;Elgot;J. Assoc. Comput. Mach.,1954
2. Complex least squares, Abstract;Elgot;Bull. Amer. Math. Soc.,1956
3. Nonexistence of certain algorithms in finite automata theory, Abstract;Buchi;Notices Amer. Math. Sac.,1958
4. Realisation of events by logical nets;Copi;J. Assoc. Comput. Mach.,1958
5. Sequential Machines;Copi,1964