Re: Simon J. Wright

Niocláisín, thanks for your comments
Some related links (no paywall)
https://www.blackcatholicmessenger.org/charlene-roberts-hayden-obit/
https://hart-site.net/Purdue-CS-Panel-Reunion/WhateverHappenedTo/HalHart.html

She wrote to Hal Hart via Team Ada in 1997:
"Hal,
   I strongly agree with your comments.  I know here in the Boston area,
on various committees I participate on, I have heard nothing but
distress and regret  from the proponents of Ada who know the worth of
the only highly reliable HOL in existence today,  and sarcasm from Ada's
opponents, "even the DoD has given up on Ada".  I think that without the
Ada mandate, given the popular, existing languages unreliability and the
software explosion far surpassing that of the 1980's,  the DoD is headed
for an even more catastrophic software revolution than that which
preceded and was the impetus for the Ada language."

This was very true and has been verified.
--
Stéphane Rivière
Ile d'Oléron - France