A book that belonged to Grace Hopper