I've contributed adding one document, the Steelman language requirements (June 1978), the document that became the Ada programming language.