Autor: Larry niven, 13 titluri