Program schemes, recursion schemes, and formal languages

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Computability of Recursive Functions

J. C. Shepherdson, Howard E. Sturgis · Journal of the ACM · 1963 · 404 citations

Computing, Computer Science, Algorithms +7

On formalised computer programs

D Luckham, D.M.R. Park, Mike Paterson · Journal of Computer and System Sciences · 1970 · 222 citations

Computing, Computer Science, Computer Systems +12

Comparative schematology

Michael S. Paterson, Carl Hewitt · DSpace@MIT (Massachusetts Institute of Technology) · 1970 · 219 citations · Full text

Computing, Computer Science, Formal Methods +11