The Astrophysics Data System is run by the Smithsonian Astrophysical Observatory under a NASA grant. It offers three bibliographic databases with a total of more than 12.5 million records.