Bounded action machines: Toward an abstract theory of computer structureEric G. Wagner1968Journal of Computer and System Sciences
Characterizing derivation trees of context-free grammars through a generalization of finite automata theoryJ.W. Thatcher1967Journal of Computer and System Sciences
Multitape finite automata with rewind instructionsArnold L. Rosenberg1967Journal of Computer and System Sciences