[tokenrove]

It's an easy mistake to make. It's interesting, though, because there are at least three important women who were involved in related work at the same time -- I'm thinking of Liskov, Dwork, and Lynch.