Structured algebraic specifications: A Kernel language

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Can programming be liberated from the von Neumann style?

John Backus · Communications of the ACM · 1978 · 2.6K citations · Full text

Computing, Computer Science, Compilers +6

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Database abstractions

John Miles Smith, Diane C. P. Smith · ACM Transactions on Database Systems · 1977 · 1.4K citations · Full text

Computing, Computer Science, Data Management +13

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4