Ah! Gold! I found Hamilton's work described in a book “System Design from Provably Correct Constructs” https://archive.org/details/systemdesignfrom00mart https

Ah! Gold! I found Hamilton's work described in a book “System Design from Provably Correct Constructs” https://archive.org/details/systemdesignfrom00mart 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".