Books by Larry Niven, Steven Barnes