True Names
James Frenkel and Vernor Vinge