A 2-page paper entitled 'The Provision of Software', dated December 1967, expressing Strachey's concern that not enough effort and money was being spent on developing software.

Report on the Multipop system, and POP-2 language, prepared for the Department of Machine Intelligence and Perception, University of Edinburgh (formerly the Experimental Programming Unit.) Manuscript and typescript versions of the report, with Strachey's notes on the performance of the system, and related material on the reference manual, etc. Brief correspondence with D. Michie.

One-page note on 'Varieties of Programming Language' dated August 1971, perhaps prepared for the International Computing Symposium, Venice, April 1972. Errata and comments on the paper, March 1972. Manuscript of the text as circulated as Technical Monograph PRG- 10, September 1972. The paper was published in the Symposium Proceedings.

Manuscript drafts and working notes for a paper, including headings for a talk or speech at a meeting on ALGOL, n.d., and kept with above but perhaps intended for another occasion.

Folder of drafts, mainly on existing languages, 'Assignment Statements', and 3 sections on 'Subroutines'. (Material kept together in this folder by Strachey, though possibly used on different occasions.)

'OS6 - An experimental operating system for a small computer. Part I: General principles and structure' (with J.E. Stoy). The Computer Journal, 15 September 1972. Offprint of published article.

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter I, 'Standard Semantics'. Includes manuscript comments and notes by Strachey. Strachey was Milne's Supervisor for his Thesis 'The formal semantics of computer languages and their implementations', submitted for a Doctorate of Philosophy at Cambridge.

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter II, 'Store Semantics'. Includes manuscript comments and notes by Strachey.

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. Chapter III, 'Stack Semantics'. Includes manuscript comments and notes by Strachey.

Typescript copy of R.E. Milne's Ph.D. Thesis 'The formal semantics of computer languages and their implementations'. 'Appendix'.