- John Mccarthy: Towards a Mathematical Science of Computation. In IFIP Congress, 1962.

(Note: the paper under this link says "1996" on the first page. This is apparently the year the article was latexed...) - Robert Floyd: Assigning Meaning to Programs. Symposium on Applied Mathematics, 1967.

- M. Foley, Anthony Hoare: Proof of a recursive program: Quicksort, 1971.
- Edmund Clarke, Allen Emerson: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, 1981.