Wikipedia: http://en.wikipedia.org/wiki/Grace_hopper
Admiral Hopper on the David Letterman Show (YouTube): https://www.youtube.com/watch?v=1-vcErOPofQ