Publications by 'Vernor Vinge'