Minor Planet Center
The official naming citation was published by the Minor Planet Center on 1 June 1980 ().