1971
4 references published this year.
Proof of a Recursive Program: Quicksort
M. Foley et al. (1971) · The Computer Journal
Procedures and parameters: An axiomatic approach
C. A. R. Hoare (1971) · Symposium on Semantics of Algorithmic Languages
Introduction to metamathematics
Stephen Cole Kleene (1971)
On a Pin Versus Block Relationship For Partitions of Logic Graphs
B. S. Landman et al. (1971) · IEEE Transactions on Computers