Star Names: Their Lore and Meaning — book by Richard Hinckley Allen