Books by joan d. vinge