小惑星センター
The official naming citation was published by the Minor Planet Center on 1 June 1980 ().