Dictionary of minor planet names - Schmadel, Lutz D. 1942-2016 (Springer, 2003)