A Variant to Turing's Theory of Computing Machines

The Logic of Automata—Part I

Journal of the ACM (JACM)

Categorizing Automata by W-Machine Programs

Journal of the ACM (JACM)

Computability of Recursive Functions

Journal of the ACM (JACM)

Universality of Tag Systems with P = 2

Journal of the ACM (JACM)

Random-Access Stored-Program Machines, an Approach to Programming Languages

Journal of the ACM (JACM)

A Turing Machine Simulator

Journal of the ACM (JACM)

A Note on Degrees of Self-Describing Turing Machines

Journal of the ACM (JACM)

Further Results on the Problem of Finding Minimal Length Programs for Decision Tables

Journal of the ACM (JACM)

Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science

Communications of the ACM

On introducing digital computing

Communications of the ACM

Multi-tape and infinite-state automata—a survey

Communications of the ACM

Self-describing Turing machines

Fundamenta Informaticae

An Embryonics Implementation of a Self-Replicating Universal Turing Machine

ICES '01 Proceedings of the 4th International Conference on Evolvable Systems: From Biology to Hardware

Towards a theory of semantics and compilers for programming languages

STOC '69 Proceedings of the first annual ACM symposium on Theory of computing

Programming with(out) the GOTO

ACM '72 Proceedings of the ACM annual conference - Volume 2

Invited papers—1: basic concepts of automata theory

ACM '65 Proceedings of the 1965 20th national conference

Programming with(out) the GOTO

ACM SIGPLAN Notices - Special issue on control structures in programming languages

From Machine and Tape to Structure and Function: Formulation of a Reflexively Computing System

Artificial Life

B70-5 Theories of Abstract Automata

IEEE Transactions on Computers

Simulation of biological cells by systems composed of string-processing finite automata

AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference

Theory of computing in computer science education

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference

The complexity of small universal Turing machines: A survey

Theoretical Computer Science

Toward mechanical mathematics

IBM Journal of Research and Development

Codd's self-replicating computer

Artificial Life

Towards a theory of semantics and compilers for programming languages

Journal of Computer and System Sciences

Computation by assembly

Journal of Computer and System Sciences

Automaton introspection

Journal of Computer and System Sciences

The complexity of small universal turing machines: a survey

SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science

Self-describing Turing machines

Fundamenta Informaticae