Contains manuals, correspondence, agendas, theses, papers, talks, meeting minutes, reports, tutorials, course notes, lectures, patents and publications related to his development and work with the computer language IOA as well as the National Science Foundation, Project Oxygen, Larch Prover (LP), LCS, and his work at Dartmouth College.