Journal of Computer and System Sciences · 1974 · 54 citations · 2 references
Logical AutomatonEngineeringAutomated ReasoningFormal MethodsPushdown AutomatonAutomaton OperationMultiple-entry Finite AutomataComputer ScienceFormal Verification
2
Sequential Machines and Automata Theory
D. C. Cooper · The Computer Journal · 1968 · 281 citations · Full text
Finite-State Models for Logical Machines
Students Quarterly Journal · 1969 · 243 citations