Letter from Philip Surra to Robert Simmons dated January 15, 1976, letter from Perry W. Beilke to Edward A. Feigenbaum dated October 1, 1975, memo from Jon A. Erickson to Edward A. Feigenbaum dated January 26, 1976, and Handwritten Notes.
Memo from Lester D. Earnest to Jon A. Erickson dated October 3, 1975, Letter from Edward A. Feigenbaum to P. Surra dated December 8, 1975, Memo from Polly Crandall to Rosa McNair dated March 5, 1976, and Letter from Fred A. Gustafson to Ronald Ohlander dated May 28, 1982.
MOLGEN: Letter to Prof. Lederberg from John R. Pasta of NSF, thanking him for site visit (Mar 1977); Revised notice of grant award, Feb 1981; request for information on using DENDRAL and Meta-DENDRAL for identification of drugs from E.F. Domino, M.D. (Mar 1981); printout of draft of MOLGEN project report for NIH.
NSF - "Approval for David Luckham to Act as Prinicipal Investigator on NSF Proposal, 'Foundations of Verification-Oriented Programming,' from June 1, 1978 through May 31, 1980," from Gerald J. Lieberman dated October 28, 1977, "Our October 27, 1977 letter which we requested renewed support on Grant No. MCS 76-11649," from Thomas J. Lynch dated October 31, 1977, "NSF Faculty Salary Funding," from Betty Scott dated May 9, 1977, and "NSF Proposa - 2 weeks" draft.
NSF - Letter from Mary McGoveran to Dr. Uncapher dated January 10, 1979, Letter from A. K. Joshi to Kent Curtis, dated December 11, 1978, and Memo "Grant Proposal to NSF" from Bruce G. Buchanan dated October 10, 1978.