History of astronomy : an encyclopedia