Encyclopedia of the History of Astronomy and Astrophysics by David Leverington