Lucky Starr and the oceans of Venus - Asimov, Isaac 1920-1992 (New American Libr., 1972)