Stars. Astronomical papers prepared for use of American ephemeris and nautical almanac: v. 10, pt. 2, Catalog of 3539 zodiacal stars for the equinox 1950.0; [by James Robertson]