I did a quick search for Grace Hopper and there doesn't seem to be anything in the pdf.