I've spent my career in high-reliability software (stuff required to work 99.9999% of the time). Her specifications for the Apollo software stack are legendary, and far in advance of what most computer scientists do even now.

She's reasonably well-known for being unusual but she deserves much, much more recognition for what she pioneered, it's a great shame that the quality of her work is so little known.