Programming in a wide spectrum language: a collection of examples

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

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy · Communications of the ACM · 1960 · 1.4K citations · Full text

Computing, Computer Science, Algorithms +7

Recursive data structures

C. A. R. Hoare · International Journal of Parallel Programming · 1975 · 169 citations

Programming by action clusters

Peter Naur · BIT Numerical Mathematics · 1969 · 100 citations

Computing, Computer Science, Distributed Systems +5

Program Development as a Formal Activity

Manfred Broy, Peter Pepper · IEEE Transactions on Software Engineering · 1981 · 66 citations

Computing, Computer Science, Formal Methods +16