Letter from Edward A. Feigenbaum to Eamon B. Barrett dated August 16, 1978, Letter from C. C. Green to Joshua Lederberg dated December 9, 1975, and NIH Renewal Application Notes by B. Buchanan dated August 14, 1975.
HPP Executive Committee - Pamphlet: Learning & Cognition: The 16th Annual Carnegie Symposium on Cognition, May 1980; New York Times Article: Technology - Using Computer In Search for Oil by Peter J. Schuyten, May 1980.
Computer Forum - Meeting 1983 - Letter from Carolyn Tajnai to Lou Sugimoto dated February 23, 1983, "Transfer Funds" dated February 24, 1983, and Letter from Carolyn Tajnai to James Baker dated February 22, 1983.
Center for Integrated Systems - Integrated Circuit Engineering Corporation's Review of the VHSI Program for Department of Defense Military/Aerospace Integrated Circuits, dated January 1979, and memo from W. F. Miller regarding faculty seminars dated March 8, 1979.
Center for Integrated Systems - Planning Meeting V Minutes by John G. Linvill dated February 23, 1979, DARPA Organizational Chart, letter from John G. Linvill to George H. Heilmeier dated February 20, 1979, and "Center for Integrated Systems (1337) Site Study," from Stephen M. Schmidt dated Febraury 1, 1979.
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.