Books Recommended by Vernor Vinge