The City and the Stars, a book by Arthur C. Clarke