("Dictionary of Minor Planet Names", ISBN 3-540-00238-3).