Effective proper procedures and universal classes of program schemata

Computability of Recursive Functions

Journal of the ACM (JACM)

Characterizations of flowchartable recursions short version

STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing

Recursion schemes with lists

STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing

Program schemas with equality

STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing

Formal languages and their relation to automata

Formal languages and their relation to automata

Translating recursion equations into flow charts

Journal of Computer and System Sciences

On formalised computer programs

Journal of Computer and System Sciences

Program schemes, recursion schemes, and formal languages

Journal of Computer and System Sciences