Penerbangan berpemandu ke angkasa - ASIMOV, Isaac (Perpustakaan penjelajahan angkasa, 1994)