Common HOL Phase 1 Reports (proposals for the Ada language)
From Luke A. Guest@laguest@archeia.com to comp.compilers on Wed Aug 30 18:24:25 2023
From Newsgroup: comp.compilers
Edward Fish has managed to get the DTIC to scan in the other language's reports.
This has been a combined effort between a few of us on IRC to try to get
the other two languages, blue and yellow released so we can see what
could've happened.