From Dr. James Hilton's When Did the Asteroids Become Minor Planets?
2017년 1월 5일에 확인함.  From Dr. James Hilton's When Did the Asteroids Become Minor Planets?