Isaac Asimov's David Starr, Space Ranger, the first novel in the Lucky Starr series, features a race of Martians who have retreated into vast artificial underground caverns half a million years ago.
David Starr, Space Ranger al lui Isaac Asimov, primul roman din seria Lucky Starr, prezintă o rasă de marțieni care s-a retras în vastele caverne subterane artificiale cu jumătate de milion de ani în urmă.