The American ephemeris and nautical almanac for the year 1957 (U.S. Government Printing Office, 1955)