Los nombres fueron aprobados por la UAI en 1976.