Vernon Vinge

According to an email from Vernor Vinge, he "never wrote a story with this title", so "Vernon" is not a typo for "Vernor".