Books by Larry Niven, Jerry Pournelle