This work was submitted as a joint entry by Robert E. Milne and Strachey for the Adams Prize Essay of the University of Cambridge (closing date for entries 31 December 1974).

Manuscript draft for the Adams Essay, including abstracts, contents list, etc. almost all in Strachey's hand, with some notes by Milne and others. Various dates, mainly October-December 1974.

After their subsequent collaboration for the Adams Prize, Strachey devoted much of the last months of his life to preparing the manuscript for publication, but died in May 1975 with the task incomplete. Milne rewrote and completed the work, which was published as A Theory of Programming Language Semantics by Robert Milne and Christopher Strachey, Chapman and Hall, 1976.