Your favourite programming language dissertation
yan: "Recursive Functions of Symbolic Expressions and Their Computation by Machine" http://dspace.mit.edu/handle/1721.1/6096The lambda papers http://library.readscheme.org/page1.html