Margaret Hamilton oral history (2017)
computerhistory.org
computerhistory.org
I found Hamilton's work described in a book “System Design from Provably Correct Constructs” https://archive.org/details/systemdesignfrom00mart many years ago. You build something like an Abstract Syntax Tree using operations that preserve certain correctness properties, thus eliminating many categories of bugs. It grew out of her work on Apollo 11.
She's credited with coining the term "software engineering".
https://computerhistory.org/blog/margaret-hamilton-in-her-ow...
Full 3 hour interview: https://youtu.be/6bVRytYSTEk
The linked PDF is a rich, dense 47 page transcript.
The blog post has a few pictures and maybe a page of text, along with clips from the interview.
I really enjoyed the story in the transcript, as well as the side-story about Ellen Fetter.
[Side Story]: https://www.wired.com/story/these-hidden-women-helped-invent...