@book{6454,
	author = {Her Majesty's Nautical Almanac Office},
	title = {The American Ephemeris and Nautical Almanac for the year 1980},
	publisher = {U. S. Government Printing Office},
	year = {1979},
	address = {Washington}
}