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