The article doesn't seem to mention https://en.wikipedia.org/wiki/Liskov_substitution_principle at all, which I think is her greatest accomplishment, formulating it.